I get the following error when trying to download this extension:
No such extension "UrlShortener".
Unable to fetch extension list!
Nicole Sharp (talk) 17:51, 6 June 2019 (UTC)
Topic on Extension talk:UrlShortener
It seems to work now. (Using the default version selected). Perhaps it was just a temporary problem?