This version of the RandomInCategory extension requires MediaWiki 1.25+