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

Merge "(bug 44814) Don't double-escape the date header on Special:Notifications"

Browse source
This commit is contained in:
Bsitu 2013-02-14 18:14:19 +00:00 committed by Gerrit Code Review
parent 998fed5a58 24eadab910
commit 5d99d1a258
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
special/SpecialNotifications.php
View file

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