1. I modified http://www.mediawiki.org/wiki/Template:Extension
which renders the Infobox to include three instead of two links:
list open bugs - list all bugs - report a bug
This makes it easier to file a bug and avoids mistakes, as "report a bug" now directly brings users to the correct bug component https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&...<Extensionname>
If this has not been set up, Extension maintainers with their extensions in SVN can simply add
bugzilla=<componentline>
e.g. add bugzilla=LiquidThreads
to the template call on their extension page.
2. 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.
3. Published a third book in http://www.mediawiki.org/wiki/MVL : MediaWiki Interwiki and Interlanguage Guide http://en.wikipedia.org/wiki/User:Wikinaut/Books/MediaWiki_Interwiki_and_Interlanguage_Guide ( MVL = MediaWiki Virtual Library )
As I like the books very much, perhaps you can help to publish about that MVL in other places. I will contact the SignPost Editor to write something about the MVL.
Tom
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.
On Fri, Jun 10, 2011 at 11:45 PM, K. Peachey p858snake@gmail.com wrote:
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.
+1. A very very strong +1.
Really, I don't see the need for all these Wikipedia-esque templates.
-Chad
On 11.06.2011, 7:50 Chad wrote:
+1. A very very strong +1.
Really, I don't see the need for all these Wikipedia-esque templates.
+100500. mediawiki.org IS NOT Wikipedia, don't move Wikipedia cruft there.
Am 11.06.2011 05:45, schrieb K. Peachey:
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.
This is your single view. My view is that a better management of shortcuts (shortcut repository) would help users and reserving abbreviations and names<certainlength for shortcuts would not be too difficult. With this statement I wish to close the discussion, as you came with so strong arguments, that I feel, I have no chance to convince you of the opposite.
So, I respect your view, but have a dissenting opinion-
wikitech-l@lists.wikimedia.org