MediaWiki 1.16, jQuery, and MediaWiki:Common.js

Now that MediaWiki ships with jQuery, the most obvious desire is to use jQuery within MediaWiki:Common.js to control aspects of your wiki. Unfortunately, 1.16's support seems to have only been intended for MediaWiki extensions, not end-users. Thanks to some help in the #mediawiki IRC channel, there's a simple workaround. Add the following to the bottom of your LocalSettings.php:

// required for 1.16 - what about 1.17?
$wgExtensionFunctions[] = 'efAddJquery';
function efAddJquery() {
  global $wgOut;

And you're done: now you can add jQuery to MediaWiki:Common.js. To avoid conflicts, MediaWiki renames the standard jQuery $ to $j, so you'll have to watch out for that in any scripts you write. I've not done anything huge or complicated yet, but the following snippet worked just fine for me:

$j(document).ready( function() {
  $j(".spoiler-click").click(function () {

You can see it in use by clicking "Show/hide guide" on