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

Fixed bug introduced in version 3.1

Browse source
This commit is contained in:
Yaron Koren 2009-01-18 16:22:10 +00:00
parent fd7e35c9ce
commit f35862cebf
Notes: Yaron Koren 2009-07-20 18:49:29 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/45874
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
SpecialReplaceText.php
View file

@ -66,8 +66,9 @@ function doSpecialReplaceText() {
$replacement_params['target_str'] = $target_str;
$replacement_params['replacement_str'] = $replacement_str;
$replacement_params['edit_summary'] = wfMsgForContent('replacetext_editsummary', $target_str, $replacement_str);
$jobs = array();
foreach ($wgRequest->getValues() as $key => $value) {
if ($value == 'on') {
if ($value == '1') {
if (strpos($key, 'move-') !== false) {
$title = Title::newFromId(substr($key, 5));
$replacement_params['move_page'] = true;