[MediaWiki-commits] [Gerrit] PoolCounterClient.php -> extension.json - change (operations/mediawiki-config)

2016-07-13 Thread jenkins-bot (Code Review)
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 
Gerrit-Reviewer: Florianschmidtwelzow 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits


[MediaWiki-commits] [Gerrit] PoolCounterClient.php -> extension.json - change (operations/mediawiki-config)

2016-07-08 Thread Reedy (Code Review)
Reedy has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/298096

Change subject: PoolCounterClient.php -> extension.json
..

PoolCounterClient.php -> extension.json

Change-Id: Ie94efe86c9be5f91866fde0ddf6dae12db527d48
---
M wmf-config/PoolCounterSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/96/298096/1

diff --git a/wmf-config/PoolCounterSettings.php 
b/wmf-config/PoolCounterSettings.php
index 3dca481..800e90f 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/PoolCounterClient.php' );
 
 $wgPoolCounterConf = [
'ArticleView' => [
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 9d99d97..282d77c 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -95,7 +95,7 @@
 $IP/extensions/PdfHandler/PdfHandler.php
 $IP/extensions/Petition/Petition.php
 $IP/extensions/Poem/extension.json
-$IP/extensions/PoolCounter/PoolCounterClient.php
+$IP/extensions/PoolCounter/extension.json
 $IP/extensions/Popups/Popups.php
 $IP/extensions/ProofreadPage/ProofreadPage.php
 $IP/extensions/QuickSurveys/extension.json

-- 
To view, visit https://gerrit.wikimedia.org/r/298096
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie94efe86c9be5f91866fde0ddf6dae12db527d48
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits