jenkins-bot has submitted this change and it was merged.
Change subject: Revert "Render dates as headings"
......................................................................
Revert "Render dates as headings"
This reverts commit c2bb2a8fb458456a322716e82d5ed20c9451d5a0.
Change-Id: I1f6f71c0e7b397c3adf1629b78d52154cfbdfc20
---
M special/SpecialNotifications.php
1 file changed, 1 insertion(+), 3 deletions(-)
Approvals:
Bsitu: Looks good to me, approved
jenkins-bot: Verified
diff --git a/special/SpecialNotifications.php b/special/SpecialNotifications.php
index 1d19e4c..5b48eea 100644
--- a/special/SpecialNotifications.php
+++ b/special/SpecialNotifications.php
@@ -56,9 +56,7 @@
// Output the date header if it has not been displayed
if ( $dateHeader !== $row['timestamp']['date'] ) {
$dateHeader = $row['timestamp']['date'];
- $notices .= Html::openElement( 'li' );
- $notices .= Html::element( 'h2', array( 'class'
=> 'mw-echo-date-section' ), $dateHeader );
- $notices .= Html::closeElement( 'li' );
+ $notices .= Html::rawElement( 'li', array(
'class' => 'mw-echo-date-section' ), $dateHeader );
}
$class = 'mw-echo-notification';
--
To view, visit https://gerrit.wikimedia.org/r/71730
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1f6f71c0e7b397c3adf1629b78d52154cfbdfc20
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Bsitu <[email protected]>
Gerrit-Reviewer: Bsitu <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
