Changeset 5e80457 in github
- Timestamp:
- Sep 26, 2007 11:52:06 AM (6 years ago)
- Branches:
- master, HEAD, courier-fix, dev-browser-capabilities, pdo, release-0.6, release-0.7, release-0.8
- Children:
- b6265631
- Parents:
- 2ec7d62
- File:
-
- 1 edited
-
program/include/main.inc (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
program/include/main.inc
r532844b r5e80457 843 843 { 844 844 global $DB, $CONFIG, $sess_user_lang; 845 846 // merge (partial) prefs array with existing settings 847 $a_user_prefs += (array)$_SESSION['user_prefs']; 845 848 846 849 $DB->query("UPDATE ".get_table_name('users')."
Note: See TracChangeset
for help on using the changeset viewer.
