Translations:Extension:Random In Category/7/en

In MediaWiki 1.22, a Special:RandomInCategory feature was added to core.