wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 22:33:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove fixed @todo FIXME

Browse source 
The raw HTML messages were already replaced in 72174c2f.

Change-Id: I34aeec36fb879c9d0e6de0458efa9851dd699eb1
This commit is contained in:
Fomafix 2023-04-19 19:32:05 +00:00
parent 2ab2c04b1b
commit 6042e2f1d7
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/SpecialReplaceText.php
View file

@ -600,7 +600,6 @@ class SpecialReplaceText extends SpecialPage {
Xml::element( 'div', [ 'class' => 'ext-replacetext-divider' ], '', false ) .
"$tables\n</fieldset>"
);
// @todo FIXME: raw html messages
$category_search_label = $this->msg( 'replacetext_categorysearch' )->escaped();
$prefix_search_label = $this->msg( 'replacetext_prefixsearch' )->escaped();
$rcPage = SpecialPage::getTitleFor( 'Recentchanges' );