Changeset 254 for trunk/lib/Prefs.inc.php
- Timestamp:
- May 5, 2007 8:56:36 AM (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/Prefs.inc.php
r242 r254 183 183 // - there isn't a default. 184 184 // - the new value is different than the default 185 // - there is a previously existing pe sistent key.185 // - there is a previously existing persistent key. 186 186 if (!isset($_SESSION['_prefs'][$this->_ns]['defaults'][$key]) || $_SESSION['_prefs'][$this->_ns]['defaults'][$key] != $val || isset($_SESSION['_prefs'][$this->_ns]['persistent'][$key])) { 187 187 $_SESSION['_prefs'][$this->_ns]['persistent'][$key] = $val;
Note: See TracChangeset
for help on using the changeset viewer.