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!
--
Remember the dot
http://en.wikipedia.org/wiki/User:Remember_the_dot