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/renameDbPrefix.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/renameDbPrefix.php')
| -rw-r--r-- | maintenance/renameDbPrefix.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/maintenance/renameDbPrefix.php b/maintenance/renameDbPrefix.php index 289e747f..6f244791 100644 --- a/maintenance/renameDbPrefix.php +++ b/maintenance/renameDbPrefix.php @@ -1,5 +1,6 @@ <?php /** + * Change the prefix of database tables. * Run this script to after changing $wgDBprefix on a wiki. * The wiki will have to get downtime to do this correctly. * @@ -18,11 +19,17 @@ * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. * http://www.gnu.org/copyleft/gpl.html * + * @file * @ingroup Maintenance */ -require_once( dirname( __FILE__ ) . '/Maintenance.php' ); +require_once( __DIR__ . '/Maintenance.php' ); +/** + * Maintenance script that changes the prefix of database tables. + * + * @ingroup Maintenance + */ class RenameDbPrefix extends Maintenance { public function __construct() { parent::__construct(); |