Added selection and popup for <pre> tags within wikitext. Also fixed more bugs found in the HTML paragraph parser (mostly self-closing tags e.g. <hr />).
/*
* 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.
//