Translations:Extension:UrlShortener/25/en

If your wiki is set up using a custom port, set this to true to allow shortening URLs that have arbitrary ports.