Updated mediawiki/extensions
Project: mediawiki/extensions/ShortUrl  305002c567f4bb7203a1d6f4790d458b38302c71

Clarify description: the short URLs *are* redirects, for/to normal pages

https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Shorturl-desc/en

Change-Id: Ib32f5ead27675e4f4c6fe6c9c543cbcf35ba1421