From 08aa4418c30cfc18ccc69a0f0f9cb9e17be6c196 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 12 Aug 2013 09:28:15 +0200 Subject: Update to MediaWiki 1.21.1 --- maintenance/userOptions.php | 1 - 1 file changed, 1 deletion(-) (limited to 'maintenance/userOptions.php') diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php index 2181e44d..1e1f24b5 100644 --- a/maintenance/userOptions.php +++ b/maintenance/userOptions.php @@ -33,4 +33,3 @@ $uo = new userOptions( $options, $args ); $uo->run(); print "Done.\n"; - -- cgit v1.2.3-54-g00ecf