Removed redundant array_reverse I found 3 months back
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 19 Jul 2010 04:23:39 +0000 (04:23 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 19 Jul 2010 04:23:39 +0000 (04:23 +0000)
commitd650e70e7ee113b32c2d4a6c170694ee6b2f06dd
tree23d550b0bae511ab8ffda9958f224e1b145f189d
parentc8f72a02bf92cf0f9647ec13f308dc6023744811
Removed redundant array_reverse I found 3 months back
includes/Preferences.php