https://bugzilla.wikimedia.org/show_bug.cgi?id=18696
Summary: Make some URLs shorter, maybe per user preferences.
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Normal
Component: General/Unknown
AssignedTo: wikibugs-l@lists.wikimedia.org
ReportedBy: bugzilla.wikime...@publi.purodha.net
CC: bugzilla.wikime...@publi.purodha.net
1. There is a set of gadgets reducing unneccessarily lengthy URLs, see e.g.
http://test.wikipedia.org/wiki/MediaWiki:Gadget-ShortDiff.js
http://test.wikipedia.org/wiki/MediaWiki:Gadget-ShortLink.js
2. Maybe, the longer versinos of these URLs are more instructive, or
more readable for humans, and thus should be preserved.
3. Using JavaScripts to do URL cosmetic and such is both
inefficient and uneconomic.
Solution:
Either use URLs as short as possible anyways, or make URL
style selectable via user preferences, and/or a global setting.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
