wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Render dates as headings

Browse source 
Not doing this leads to unnecessary styling in mobile and is more
semantically correct

Bug: 49269

Change-Id: Icbb390b6c807118c1b775aa4f962de06b5f7c091
This commit is contained in:
jrobson 2013-07-01 13:50:14 -07:00 committed by Jdlrobson
parent 343d0d9f15
commit c2bb2a8fb4
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';