A MediaWiki extension for adding custom classes to the <body> tag