From: umherirrender <umherirrender_de.wp@web.de>
Date: Sun, 19 Jan 2014 20:41:33 +0000 (+0100)
Subject: Remove outdated comment from Preferences.php
X-Git-Tag: 1.31.0-rc.0~17210
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/password.php?a=commitdiff_plain;h=17aa87d6512b50421a1e2fc3d6ef594b2bc17823;p=lhc%2Fweb%2Fwiklou.git

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 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