Admin User Manager: When a user with a DB-driven user page is renamed, also change urlname of their user page. Fixes issue 3.
+ − /*
+ − * 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.
+ − //
+ −
+ −