mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-15 02:53:52 +00:00
build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: I988ca49407fe3fc195df511e64ff747c9effb927
This commit is contained in:
parent
fbbb4acfa5
commit
bfeb861137
|
@ -4,7 +4,7 @@ class ReplaceTextSearch {
|
|||
public static function doSearchQuery(
|
||||
$search, $namespaces, $category, $prefix, $use_regex = false
|
||||
) {
|
||||
$dbr = wfGetDB( DB_SLAVE );
|
||||
$dbr = wfGetDB( DB_REPLICA );
|
||||
$tables = [ 'page', 'revision', 'text' ];
|
||||
$vars = [ 'page_id', 'page_namespace', 'page_title', 'old_text' ];
|
||||
if ( $use_regex ) {
|
||||
|
@ -41,7 +41,7 @@ class ReplaceTextSearch {
|
|||
return;
|
||||
}
|
||||
|
||||
$dbr = wfGetDB( DB_SLAVE );
|
||||
$dbr = wfGetDB( DB_REPLICA );
|
||||
$title = Title::newFromText( $prefix );
|
||||
if ( !is_null( $title ) ) {
|
||||
$prefix = $title->getDbKey();
|
||||
|
|
|
@ -633,7 +633,7 @@ class SpecialReplaceText extends SpecialPage {
|
|||
}
|
||||
|
||||
function getMatchingTitles( $str, $namespaces, $category, $prefix, $use_regex = false ) {
|
||||
$dbr = wfGetDB( DB_SLAVE );
|
||||
$dbr = wfGetDB( DB_REPLICA );
|
||||
|
||||
$tables = [ 'page' ];
|
||||
$vars = [ 'page_title', 'page_namespace' ];
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
{
|
||||
"require-dev": {
|
||||
"jakub-onderka/php-parallel-lint": "0.9.2",
|
||||
"mediawiki/mediawiki-codesniffer": "0.12.0",
|
||||
"mediawiki/mediawiki-codesniffer": "13.0.0",
|
||||
"jakub-onderka/php-console-highlighter": "0.3.2"
|
||||
},
|
||||
"scripts": {
|
||||
|
|
Loading…
Reference in a new issue