jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/380154 )
Change subject: build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
......................................................................
build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: I5c975a3d0d180eb607a6d35fe38332fa8e975a53
---
M BasePageFilter.php
M PageSuggesterFactory.php
M api/ApiGettingStartedGetPages.php
M composer.json
M maintenance/generate_config.php
M maintenance/populate_categories.php
6 files changed, 3 insertions(+), 7 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/BasePageFilter.php b/BasePageFilter.php
index 2802e30..b8a7a4a 100644
--- a/BasePageFilter.php
+++ b/BasePageFilter.php
@@ -33,7 +33,7 @@
protected function inExcludedCategories( Title $title ) {
$articleID = $title->getArticleID();
$excludedCategories = self::getExcludedCategories();
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
foreach ( $excludedCategories as $cat ) {
$res = $dbr->selectRow( 'categorylinks', '1', [
'cl_from' => $articleID,
diff --git a/PageSuggesterFactory.php b/PageSuggesterFactory.php
index b35f6f4..6ab1149 100644
--- a/PageSuggesterFactory.php
+++ b/PageSuggesterFactory.php
@@ -2,7 +2,6 @@
namespace GettingStarted;
-use Category;
use Title;
class PageSuggesterFactory {
diff --git a/api/ApiGettingStartedGetPages.php
b/api/ApiGettingStartedGetPages.php
index 338559e..dbec49b 100644
--- a/api/ApiGettingStartedGetPages.php
+++ b/api/ApiGettingStartedGetPages.php
@@ -3,7 +3,6 @@
namespace GettingStarted;
use ApiBase;
-use Category;
use Title;
class ApiGettingStartedGetPages extends \ApiQueryGeneratorBase {
diff --git a/composer.json b/composer.json
index 41bb0d7..7df3c8d 100644
--- a/composer.json
+++ b/composer.json
@@ -2,7 +2,7 @@
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9.2",
"jakub-onderka/php-console-highlighter": "0.3.2",
- "mediawiki/mediawiki-codesniffer": "0.12.0"
+ "mediawiki/mediawiki-codesniffer": "13.0.0"
},
"scripts": {
"fix": "phpcbf",
diff --git a/maintenance/generate_config.php b/maintenance/generate_config.php
index 5994f9f..7775f12 100644
--- a/maintenance/generate_config.php
+++ b/maintenance/generate_config.php
@@ -11,8 +11,6 @@
namespace GettingStarted;
-use Title;
-
$IP = getenv( 'MW_INSTALL_PATH' );
if ( $IP === false ) {
$IP = __DIR__ . '/../../..';
diff --git a/maintenance/populate_categories.php
b/maintenance/populate_categories.php
index d64f01a..63ee1f4 100644
--- a/maintenance/populate_categories.php
+++ b/maintenance/populate_categories.php
@@ -28,7 +28,7 @@
$key = RedisCategorySync::makeCategoryKey( $category );
echo "Key: $key\n";
- $dbr = wfGetDB( DB_SLAVE );
+ $dbr = wfGetDB( DB_REPLICA );
$res = $dbr->select(
[ 'page', 'categorylinks' ],
[ 'page_id' ],
--
To view, visit https://gerrit.wikimedia.org/r/380154
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5c975a3d0d180eb607a6d35fe38332fa8e975a53
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GettingStarted
Gerrit-Branch: master
Gerrit-Owner: Libraryupgrader <tools.libraryupgra...@tools.wmflabs.org>
Gerrit-Reviewer: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: Phuedx <samsm...@wikimedia.org>
Gerrit-Reviewer: Swalling <steven.wall...@gmail.com>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
