wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 19:09:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added 'replacetext_savemovedpages' value

Browse source
This commit is contained in:
Yaron Koren 2009-01-22 23:39:34 +00:00
parent 1cae6c86eb
commit 9b0af263d1
Notes: Yaron Koren 2009-07-20 18:49:29 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/46044
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
ReplaceText.i18n.php
View file

@ -22,6 +22,7 @@ $messages['en'] = array(
'replacetext_choosepages' => 'Please select the {{PLURAL:$3|page|pages}} for which you want to replace \'$1\' with \'$2\':',
'replacetext_choosepagesformove' => 'Replace text in the {{PLURAL:$1|name of the following page|names of the following pages}}:',
'replacetext_cannotmove' => 'The following {{PLURAL:$1|page|pages}} cannot be moved:',
'replacetext_savemovedpages' => 'For moved pages, save the old titles as redirects to the new titles',
'replacetext_invertselections' => 'Invert selections',
'replacetext_replace' => 'Replace',
'replacetext_success' => '\'$1\' will be replaced with \'$2\' in $3 {{PLURAL:$3|page|pages}}.',