On Sat, Jun 11, 2011 at 1:23 PM, Thomas Gries mail@tgries.de wrote:
- Started to make extensive use of {{shortcut | <shortcutname> }} on
Extension pages, and would like to encourage you to help adding such markers for important extensions or extensions you maintain, too.
Will find a way to make that case-insensitive. Currently, shortcutnames are uppercase. Personally, I would prefer to have the shortcuts working case-insensitively, and also printed the shortcutnames in lower-case, but this is more a style and guideline question.
Eww no, shortcuts should be avoided where possible, they are basically pointless for us and they don't serve any decent purpose apart from removing "extension:" from the url which is not something we should be doing (depending on what shortcuts people make), we should be encouraging people to use the proper urls because they are more likely to be permanent.
Also they are confusing to some newer people where the url != the page title which is out standard convention with mediawiki.