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

Disable regex option for SQLite

Browse source 
Change-Id: I83c8b38a47fc571077fef1fccabb31f5db0ac2e5
(cherry picked from commit d7db166e4f)
This commit is contained in:
Yaron Koren 2018-05-03 14:52:06 +00:00 committed by Legoktm
parent 94058ed6f2
commit 42748d0d6d
1 changed files with 16 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/SpecialReplaceText.php
View file

@ -423,6 +423,11 @@ class SpecialReplaceText extends SpecialPage {
Xml::textarea( 'replacement', $this->replacement, 100, 5, [ 'style' => 'width: auto;' ] ) Xml::textarea( 'replacement', $this->replacement, 100, 5, [ 'style' => 'width: auto;' ] )
); );
$out->addHTML( '</td></tr></table>' ); $out->addHTML( '</td></tr></table>' );
// SQLite unfortunately lacks a REGEXP function or operator by
// default, so disable regex(p) searches for SQLite.
$dbr = wfGetDB( DB_REPLICA );
if ( ! $dbr instanceof Wikimedia\Rdbms\DatabaseSqlite ) {
$out->addHTML( Xml::tags( 'p', null, $out->addHTML( Xml::tags( 'p', null,
Xml::checkLabel( Xml::checkLabel(
$this->msg( 'replacetext_useregex' )->text(), $this->msg( 'replacetext_useregex' )->text(),
@ -434,6 +439,7 @@ class SpecialReplaceText extends SpecialPage {
$this->msg( 'replacetext_regexdocu' )->text() $this->msg( 'replacetext_regexdocu' )->text()
) )
); );
}
// The interface is heavily based on the one in Special:Search. // The interface is heavily based on the one in Special:Search.
$namespaces = SearchEngine::searchableNamespaces(); $namespaces = SearchEngine::searchableNamespaces();