wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-20 18:13:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix for ee7ac78ca7 - removed extra checkbox for moved pages

Browse source 
Change-Id: I34b3e6186a3136dd9a53ce81b44bf985fd82e7f0
(cherry picked from commit fca559a72e)
This commit is contained in:
Yaron Koren 2018-05-03 02:00:41 +00:00 committed by Cicalese
parent e2502bffc9
commit 94058ed6f2
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/SpecialReplaceText.php
View file

@ -617,10 +617,7 @@ class SpecialReplaceText extends SpecialPage {
'create-redirect', 'create-redirect', true ) . "<br />\n" . 'create-redirect', 'create-redirect', true ) . "<br />\n" .
Xml::checkLabel( Xml::checkLabel(
$this->msg( 'replacetext_watchmovedpages' )->text(), $this->msg( 'replacetext_watchmovedpages' )->text(),
'watch-pages', 'watch-pages', false ) . '<br />' . 'watch-pages', 'watch-pages', false ) . '<br />'
Xml::checkLabel(
$this->msg( 'replacetext_announce', $rcPageName )->text(),
'doAnnounce', 'doAnnounce', true ) . '<br />'
); );
$out->addHTML( '<br />' ); $out->addHTML( '<br />' );
} }