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/userOptions.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/userOptions.php')
| -rw-r--r-- | maintenance/userOptions.php | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php index 64368f63..2181e44d 100644 --- a/maintenance/userOptions.php +++ b/maintenance/userOptions.php @@ -1,8 +1,6 @@ <?php /** - * Script to change users skins on the fly. - * This is for at least MediaWiki 1.10alpha (r19611) and have not been - * tested with previous versions. It should probably work with 1.7+. + * Script to change users preferences on the fly. * * Made on an original idea by Fooey (freenode) * |