Last modified: 2014-07-07 10:51:15 UTC
Info: https://www.mediawiki.org/wiki/Extension:UrlShortener Default CC should be myself and YuviPanda (cc'd). Thanks!
Done