Greetings developers,

I finally got around to finishing my patch for bug 12298: https://bugzilla.wikimedia.org/show_bug.cgi?id=12998

This patch should completely eliminate the need for JavaScript hacks that alter the page title. If a developer could take a look, that would be great!