jenkins-bot has submitted this change and it was merged.
Change subject: PoolCounterClient.php -> extension.json
......................................................................
PoolCounterClient.php -> extension.json
Bug: T139800
Bug: T139801
Change-Id: Ie94efe86c9be5f91866fde0ddf6dae12db527d48
---
M wmf-config/PoolCounterSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/PoolCounterSettings.php
b/wmf-config/PoolCounterSettings.php
index 3dca481..346a97d 100644
--- a/wmf-config/PoolCounterSettings.php
+++ b/wmf-config/PoolCounterSettings.php
@@ -2,7 +2,7 @@
if ( !defined( 'MEDIAWIKI' ) ) exit( 1 );
-include( "$IP/extensions/PoolCounter/PoolCounterClient.php" );
+wfLoadExtension( 'PoolCounter' );
$wgPoolCounterConf = [
'ArticleView' => [
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 6e05fd6..36b7dbd 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -95,9 +95,9 @@
$IP/extensions/PdfHandler/extension.json
$IP/extensions/Petition/extension.json
$IP/extensions/Poem/extension.json
-$IP/extensions/PoolCounter/PoolCounterClient.php
$IP/extensions/Popups/extension.json
$IP/extensions/ProofreadPage/extension.json
+$IP/extensions/PoolCounter/extension.json
$IP/extensions/QuickSurveys/extension.json
$IP/extensions/Quiz/extension.json
$IP/extensions/RelatedArticles/extension.json
--
To view, visit https://gerrit.wikimedia.org/r/298096
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie94efe86c9be5f91866fde0ddf6dae12db527d48
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
