Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/298383
Change subject: De-dupe old PHP entry points
......................................................................
De-dupe old PHP entry points
Change-Id: I1b403888124a262a8e124ffee1ed2f2a7055470f
---
M PoolCounterClient.php
1 file changed, 1 insertion(+), 10 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PoolCounter
refs/changes/83/298383/1
diff --git a/PoolCounterClient.php b/PoolCounterClient.php
index dfbbc0e..0996abd 100644
--- a/PoolCounterClient.php
+++ b/PoolCounterClient.php
@@ -1,12 +1,3 @@
<?php
-/**
- * MediaWiki client for the pool counter daemon poolcounter.py.
- */
-
-if ( function_exists( 'wfLoadExtension' ) ) {
- wfLoadExtension( 'PoolCounter' );
- $wgMessagesDirs['PoolCounterClient'] = __DIR__ . '/i18n';
-} else {
- die( 'This version of the Pool Counter extension requires MediaWiki
1.25+' );
-}
\ No newline at end of file
+require_once( 'PoolCounter.php' );
--
To view, visit https://gerrit.wikimedia.org/r/298383
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1b403888124a262a8e124ffee1ed2f2a7055470f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PoolCounter
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
