[MediaWiki-commits] [Gerrit] mediawiki...EditAccount[master]: v 1.3.3 - Remove deprecated PHP entry point
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/334464 )
Change subject: v 1.3.3 - Remove deprecated PHP entry point
..
v 1.3.3 - Remove deprecated PHP entry point
Change-Id: I98b4adfde7c0509a4979cea2df7bba63d4403c16
---
D EditAccount.php
M extension.json
2 files changed, 1 insertion(+), 59 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/EditAccount.php b/EditAccount.php
deleted file mode 100644
index 2603f84..000
--- a/EditAccount.php
+++ /dev/null
@@ -1,58 +0,0 @@
-
- * @date 22 March 2013
(https://github.com/Wikia/app/commit/bb114fdb72c3be76594ff8bc46384093733c62e4,
save for the i18n changes)
- * @copyright Copyright © 2008 Łukasz Garczewski, Wikia Inc.
- * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License
2.0 or later
- */
-
-if ( !defined( 'MEDIAWIKI' ) ) {
- echo "This is a MediaWiki extension named EditAccount.\n";
- exit( 1 );
-}
-
-// Extension credits that will show up on Special:Version
-$wgExtensionCredits['specialpage'][] = array(
- 'path' => __FILE__,
- 'name' => 'EditAccount',
- 'version' => '1.3.2',
- 'author' => array( 'Łukasz Garczewski', 'Jack Phoenix' ),
- 'descriptionmsg' => 'editaccount-desc',
- 'url' => 'https://www.mediawiki.org/wiki/Extension:EditAccount'
-);
-
-// New user right, required to use the extension.
-$wgAvailableRights[] = 'editaccount';
-$wgGroupPermissions['*']['editaccount'] = false;
-$wgGroupPermissions['staff']['editaccount'] = true;
-
-// Log definition
-$wgLogTypes[] = 'editaccnt';
-$wgLogActionsHandlers['editaccnt/*'] = 'LogFormatter';
-$wgLogRestrictions['editaccnt'] = 'editaccount';
-
-// Set up the new special pages
-$wgMessagesDirs['EditAccount'] = __DIR__ . '/i18n';
-$wgExtensionMessagesFiles['EditAccountAliases'] = __DIR__ .
'/EditAccount.alias.php';
-
-$wgAutoloadClasses['EditAccount'] = __DIR__ . '/SpecialEditAccount_body.php';
-$wgSpecialPages['EditAccount'] = 'EditAccount';
-
-$wgAutoloadClasses['CloseAccount'] = __DIR__ . '/SpecialCloseAccount.body.php';
-$wgSpecialPages['CloseAccount'] = 'CloseAccount';
diff --git a/extension.json b/extension.json
index fc14b7e..06c69fb 100644
--- a/extension.json
+++ b/extension.json
@@ -1,6 +1,6 @@
{
"name": "EditAccount",
- "version": "1.3.2",
+ "version": "1.3.3",
"author": [
"Łukasz Garczewski",
"Jack Phoenix"
--
To view, visit https://gerrit.wikimedia.org/r/334464
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I98b4adfde7c0509a4979cea2df7bba63d4403c16
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EditAccount
Gerrit-Branch: master
Gerrit-Owner: SamanthaNguyen
Gerrit-Reviewer: Jack Phoenix
Gerrit-Reviewer: Umherirrender
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...EditAccount[master]: v 1.3.3 - Remove deprecated PHP entry point
SamanthaNguyen has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/334464 )
Change subject: v 1.3.3 - Remove deprecated PHP entry point
..
v 1.3.3 - Remove deprecated PHP entry point
Change-Id: I98b4adfde7c0509a4979cea2df7bba63d4403c16
---
D EditAccount.php
M extension.json
2 files changed, 1 insertion(+), 59 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/EditAccount
refs/changes/64/334464/1
diff --git a/EditAccount.php b/EditAccount.php
deleted file mode 100644
index 2603f84..000
--- a/EditAccount.php
+++ /dev/null
@@ -1,58 +0,0 @@
-
- * @date 22 March 2013
(https://github.com/Wikia/app/commit/bb114fdb72c3be76594ff8bc46384093733c62e4,
save for the i18n changes)
- * @copyright Copyright © 2008 Łukasz Garczewski, Wikia Inc.
- * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License
2.0 or later
- */
-
-if ( !defined( 'MEDIAWIKI' ) ) {
- echo "This is a MediaWiki extension named EditAccount.\n";
- exit( 1 );
-}
-
-// Extension credits that will show up on Special:Version
-$wgExtensionCredits['specialpage'][] = array(
- 'path' => __FILE__,
- 'name' => 'EditAccount',
- 'version' => '1.3.2',
- 'author' => array( 'Łukasz Garczewski', 'Jack Phoenix' ),
- 'descriptionmsg' => 'editaccount-desc',
- 'url' => 'https://www.mediawiki.org/wiki/Extension:EditAccount'
-);
-
-// New user right, required to use the extension.
-$wgAvailableRights[] = 'editaccount';
-$wgGroupPermissions['*']['editaccount'] = false;
-$wgGroupPermissions['staff']['editaccount'] = true;
-
-// Log definition
-$wgLogTypes[] = 'editaccnt';
-$wgLogActionsHandlers['editaccnt/*'] = 'LogFormatter';
-$wgLogRestrictions['editaccnt'] = 'editaccount';
-
-// Set up the new special pages
-$wgMessagesDirs['EditAccount'] = __DIR__ . '/i18n';
-$wgExtensionMessagesFiles['EditAccountAliases'] = __DIR__ .
'/EditAccount.alias.php';
-
-$wgAutoloadClasses['EditAccount'] = __DIR__ . '/SpecialEditAccount_body.php';
-$wgSpecialPages['EditAccount'] = 'EditAccount';
-
-$wgAutoloadClasses['CloseAccount'] = __DIR__ . '/SpecialCloseAccount.body.php';
-$wgSpecialPages['CloseAccount'] = 'CloseAccount';
diff --git a/extension.json b/extension.json
index fc14b7e..06c69fb 100644
--- a/extension.json
+++ b/extension.json
@@ -1,6 +1,6 @@
{
"name": "EditAccount",
- "version": "1.3.2",
+ "version": "1.3.3",
"author": [
"Łukasz Garczewski",
"Jack Phoenix"
--
To view, visit https://gerrit.wikimedia.org/r/334464
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I98b4adfde7c0509a4979cea2df7bba63d4403c16
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EditAccount
Gerrit-Branch: master
Gerrit-Owner: SamanthaNguyen
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
