Extension:ShortLinks

From mediawiki.org