[Code source] [Imprimer] [Statistiques]

$Horde: horde/scripts/remove_prefs.php,v 1.3.10.7 2006/04/18 16:25:31 jan Exp $ This script removes a pref from users' settings. Helps when a setting is to be moved from locked = false, to locked = true and there have already been prefs set by the users.