Revamped page deletion interface; fixed bug where page_meta cache was not being cleared upon restoration of deleted page.
/*
* 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.4: DEPRECATED ****
// Replaced with Spry-based mechanism.
//