Whoops. I can not find it. There could be something wrong. In the meantime, I suggest you should use the code above and review it.
Apr 17 2015
Mar 27 2015
Yep, I have tried that link, and submitted my patch. Thanks!
Mar 23 2015
I recommend that this bit be deleted. It has no use with my version of this file:
Mar 22 2015
I believe that the $wgResourceBasePath in that line should be $wgScriptPath instead. We need to check with this.
Nov 26 2014
Whoops, the page layout change has fixed this, just checking that link. It was glitchy before, now it is fine...
Please reopen this task, the migration has completed!
Nov 13 2014
Hmm... Doesn't happen here, could be text not being escaped. Should fix this.