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

Merge "Render dates as headings"

Browse source
This commit is contained in:
jenkins-bot 2013-07-02 18:24:43 +00:00 committed by Gerrit Code Review
parent 8817b53fe9 c2bb2a8fb4
commit d0c022e09a
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
special/SpecialNotifications.php
View file

@ -56,7 +56,9 @@ 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::rawElement( 'li', array( 'class' => 'mw-echo-date-section' ), $dateHeader );
$notices .= Html::openElement( 'li' );
$notices .= Html::element( 'h2', array( 'class' => 'mw-echo-date-section' ), $dateHeader );
$notices .= Html::closeElement( 'li' );
}
$class = 'mw-echo-notification';