Remove outdated comment from Preferences.php
authorumherirrender <umherirrender_de.wp@web.de>
Sun, 19 Jan 2014 20:41:33 +0000 (21:41 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Sun, 19 Jan 2014 20:41:33 +0000 (21:41 +0100)
commit17aa87d6512b50421a1e2fc3d6ef594b2bc17823
tree93ba2dea56b3041b3812175b082dc610bc657f3d
parent97e0c5354bb7eceb56b0c5ce4ea1ca9f68ce0e35
Remove outdated comment from Preferences.php

There is a cleanupPreferences.php script

Change-Id: I29c55b3ba5d296a06e3c26e98b28779cb3959282
includes/Preferences.php