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

Tooltips in preference page get double-escaped

Browse source 
bug: 53112
Change-Id: Ic39c807506334c3c5d8251384314c09ae96b3c3a
This commit is contained in:
bsitu 2013-08-20 13:39:05 -07:00
parent c4f29b9af9
commit b85615da7e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Hooks.php
View file

@ -356,7 +356,7 @@ class EchoHooks {
$categoryMessage = wfMessage( 'echo-category-title-' . $category )->numParams( 1 )->escaped(); $categoryMessage = wfMessage( 'echo-category-title-' . $category )->numParams( 1 )->escaped();
$rows[$categoryMessage] = $category; $rows[$categoryMessage] = $category;
if ( isset( $wgEchoNotificationCategories[$category]['tooltip'] ) ) { if ( isset( $wgEchoNotificationCategories[$category]['tooltip'] ) ) {
$tooltips[$categoryMessage] = wfMessage( $wgEchoNotificationCategories[$category]['tooltip'] )->escaped(); $tooltips[$categoryMessage] = wfMessage( $wgEchoNotificationCategories[$category]['tooltip'] )->text();
} }
} }