$Horde: framework/admintools/horde-remove-pref.php,v 1.1.2.2 2009/01/06 15:23:51 jan Exp $
Copyright 2007-2009 The Horde Project (http://www.horde.org/)
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.
Documentation generated on Sun, 30 Jan 2011 05:18:01 +0000 by phpDocumentor 1.4.3