Fixed PHP-based JSON decode to output arrays, not objects
/* * 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.//