MediaWiki 1.17.2

[autoinstallsdev/mediawiki.git] / includes / User.php

diff --git a/includes/User.php b/includes/User.php
index 5760003bbc85b3b3bb3c7ef7f8360c3337c7066d..14fd3fd24aaacb717dca05b85bb378668b9a3daf 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -99,7 +99,6 @@ class User {
                'deletedhistory',
                'deletedtext',
                'deleterevision',
-               'disableaccount',
                'edit',
                'editinterface',
                'editusercssjs', #deprecated