diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
tree | f7846203a952e38aaf66989d0a4702779f549962 /maintenance/convertUserOptions.php | |
parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (diff) |
Update to MediaWiki 1.20.2
this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
Diffstat (limited to 'maintenance/convertUserOptions.php')
-rw-r--r-- | maintenance/convertUserOptions.php | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/maintenance/convertUserOptions.php b/maintenance/convertUserOptions.php index da6ff9b6..7c9ca269 100644 --- a/maintenance/convertUserOptions.php +++ b/maintenance/convertUserOptions.php @@ -1,6 +1,6 @@ <?php /** - * Do each user sequentially, since accounts can't be deleted + * Convert user options to the new `user_properties` table. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -21,8 +21,15 @@ * @ingroup Maintenance */ -require_once( dirname( __FILE__ ) . '/Maintenance.php' ); +require_once( __DIR__ . '/Maintenance.php' ); +/** + * Maintenance script to convert user options to the new `user_properties` table. + * + * Do each user sequentially, since accounts can't be deleted + * + * @ingroup Maintenance + */ class ConvertUserOptions extends Maintenance { private $mConversionCount = 0; |