jenkins-bot has submitted this change and it was merged.

Change subject: Remove old PHP entry point in favor of extension.json
......................................................................


Remove old PHP entry point in favor of extension.json

MW 1.25 or newer is now explicitly required

Change-Id: Iae1fca81c9e93d301c1076be66efcdaa0033859c
---
D PrivateDomains.php
1 file changed, 0 insertions(+), 68 deletions(-)

Approvals:
  Jack Phoenix: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/PrivateDomains.php b/PrivateDomains.php
deleted file mode 100644
index 1a3ae0e..0000000
--- a/PrivateDomains.php
+++ /dev/null
@@ -1,68 +0,0 @@
-<?php
-/**
- * PrivateDomains extension - allows to restrict editing to users with a
- * certain e-mail address
- *
- * @file
- * @ingroup Extensions
- * @author Inez Korczyński <korczyn...@gmail.com>
- * @author Jack Phoenix <j...@countervandalism.net>
- * @link https://www.mediawiki.org/wiki/Extension:PrivateDomains Documentation
- * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 
2.0 or later
- */
-
-// Extension credits that will show up on Special:Version
-$wgExtensionCredits['specialpage'][] = array(
-       'name' => 'PrivateDomains',
-       'version' => '1.5.0',
-       'author' => array( 'Inez Korczyński', 'Jack Phoenix' ),
-       'description' => 'Allows to restrict editing to users with a certain 
e-mail address',
-       'url' => 'https://www.mediawiki.org/wiki/Extension:PrivateDomains',
-       'license-name' => 'GPL-2.0+',
-);
-
-// Set up the new special page
-$wgAutoloadClasses['PrivateDomains'] = __DIR__ . '/SpecialPrivateDomains.php';
-$wgMessagesDirs['PrivateDomains'] = __DIR__ . '/i18n';
-$wgSpecialPages['PrivateDomains'] = 'PrivateDomains';
-
-$wgAutoloadClasses['PrivateDomainsHooks'] = __DIR__ . 
'/PrivateDomainsHooks.php';
-$wgHooks['AlternateEdit'][] = 'PrivateDomainsHooks::onAlternateEdit';
-$wgHooks['UserLoggedIn'][] = 'PrivateDomainsHooks::onUserLoginComplete';
-$wgHooks['ConfirmEmailComplete'][] = 
'PrivateDomainsHooks::onUserLoginComplete';
-
-# set 'privatedomains' right to users in staff or bureaucrat group
-$wgAvailableRights[] = 'privatedomains';
-$wgGroupPermissions['staff']['privatedomains'] = true;
-$wgGroupPermissions['bureaucrat']['privatedomains'] = true;
-
-# overwrite standard groups permissions
-$wgGroupPermissions['staff']['edit'] = true;
-$wgGroupPermissions['bureaucrat']['edit'] = true;
-$wgGroupPermissions['user']['edit'] = false;
-$wgGroupPermissions['*']['edit'] = false;
-$wgGroupPermissions['privatedomains']['edit'] = true;
-
-$wgGroupPermissions['staff']['upload'] = true;
-$wgGroupPermissions['bureaucrat']['upload'] = true;
-$wgGroupPermissions['user']['upload'] = false;
-$wgGroupPermissions['*']['upload'] = false;
-$wgGroupPermissions['privatedomains']['upload'] = true;
-
-$wgGroupPermissions['staff']['move'] = true;
-$wgGroupPermissions['bureaucrat']['move'] = true;
-$wgGroupPermissions['user']['move'] = false;
-$wgGroupPermissions['*']['move'] = false;
-$wgGroupPermissions['privatedomains']['move'] = true;
-
-$wgGroupPermissions['user']['reupload'] = false;
-$wgGroupPermissions['*']['reupload'] = false;
-$wgGroupPermissions['privatedomains']['reupload'] = true;
-
-$wgGroupPermissions['user']['reupload-shared'] = false;
-$wgGroupPermissions['*']['reupload-shared'] = false;
-$wgGroupPermissions['privatedomains']['reupload-shared'] = true;
-
-$wgGroupPermissions['user']['minoredit'] = false;
-$wgGroupPermissions['*']['minoredit'] = false;
-$wgGroupPermissions['privatedomains']['minoredit'] = true;
\ No newline at end of file

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Iae1fca81c9e93d301c1076be66efcdaa0033859c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PrivateDomains
Gerrit-Branch: master
Gerrit-Owner: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to