wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2025-01-18 16:07:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix for abc67edb70 - fixed error message

Browse source 
Change-Id: Ib98dea476efc2d690b15095fb2abccc0be0ed82d
(cherry picked from commit 7efd765c85)
This commit is contained in:
Yaron Koren 2018-04-23 02:25:42 +00:00 committed by Cicalese
parent 6d983b645e
commit 47bdb4c295
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/SpecialReplaceText.php
View file

@ -33,14 +33,14 @@ class SpecialReplaceText extends SpecialPage {
}
// Replace Text can't be run with certain settings, due to the
// changes they make to DB storage.
// changes they make to the DB storage setup.
if ( $wgCompressRevisions ) {
$errorMsg = "Error: text replacements cannot be run if \$wgCompressRevisions is set to true.";
$this->getOutput()->addWikiText( "<div class=\"errorbox\">$errorMsg</div>" );
return;
}
if ( $wgExternalStores ) {
$errorMsg = "Error: text replacements cannot be run if \$wgExternalStores is set to true.";
if ( !empty( $wgExternalStores ) ) {
$errorMsg = "Error: text replacements cannot be run if \$wgExternalStores is non-empty.";
$this->getOutput()->addWikiText( "<div class=\"errorbox\">$errorMsg</div>" );
return;
}