wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Revert "Render dates as headings""

Browse source
This commit is contained in:
jenkins-bot 2013-07-02 22:14:44 +00:00 committed by Gerrit Code Review
parent f5c9a828c4 490b5ef737
commit d999614146
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
special/SpecialNotifications.php
View file

@ -56,9 +56,7 @@ class SpecialNotifications extends SpecialPage {
// 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';