From 17aa87d6512b50421a1e2fc3d6ef594b2bc17823 Mon Sep 17 00:00:00 2001 From: umherirrender Date: Sun, 19 Jan 2014 21:41:33 +0100 Subject: [PATCH] Remove outdated comment from Preferences.php There is a cleanupPreferences.php script Change-Id: I29c55b3ba5d296a06e3c26e98b28779cb3959282 --- includes/Preferences.php | 1 - 1 file changed, 1 deletion(-) diff --git a/includes/Preferences.php b/includes/Preferences.php index 5413f30cae..e7eab17697 100644 --- a/includes/Preferences.php +++ b/includes/Preferences.php @@ -1455,7 +1455,6 @@ class Preferences { # If users have saved a value for a preference which has subsequently been disabled # via $wgHiddenPrefs, we don't want to destroy that setting in case the preference # is subsequently re-enabled - # TODO: maintenance script to actually delete these foreach ( $wgHiddenPrefs as $pref ) { # If the user has not set a non-default value here, the default will be returned # and subsequently discarded -- 2.20.1