Sessions: fixed logout() destroying normal session (instead of elevated) if $level = USER_LEVEL_CHPREF. Possible very minor security concern: elevated sessions were not fully destroyed, so if a normal session is opened from the same IP, the elevated one may be reusable for 15 minutes.

/*
 * Auto-completing page/username fields
 * NOTE: A more efficient version of the username field is used for Mozilla browsers. The updated code is in autofill.js.
 */

//
// **** 1.1.5: DEPRECATED ****
// Replaced with jQuery-based mechanism.
//