Remove outdated comment from Preferences.php

There is a cleanupPreferences.php script

Change-Id: I29c55b3ba5d296a06e3c26e98b28779cb3959282

diff --git a/includes/Preferences.php b/includes/Preferences.php
index 5413f30..e7eab17 100644 (file)
--- 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