Translations:Extension:Random In Category/9/en

Versions of this extension for MediaWiki 1.22 and greater change the name that this extension provides from "Special:RandomInCategory" to Special:RandomPageInCategory to prevent conflict with the core feature.