Extension:RandomInclude

From mediawiki.org