author | Thomas Gries <wikinaut@users.mediawiki.org> | |
Tue, 11 Oct 2011 00:41:34 +0000 (00:41 +0000) | ||
committer | Thomas Gries <wikinaut@users.mediawiki.org> | |
Tue, 11 Oct 2011 00:41:34 +0000 (00:41 +0000) |
maintenance/convertUserOptions.php | patch | blob | history |