Page MenuHomePhabricator

Use capitallinkoverride for gadget namespace
Closed, ResolvedPublic

Assigned To
Authored By
SD0001
Jan 25 2022, 9:30 AM
Referenced Files
None
Tokens
"Party Time" token, awarded by Volker_E."Party Time" token, awarded by Remagoxer."Party Time" token, awarded by IN."Love" token, awarded by hashar.

Description

Currently pages in gadget namespace must begin with capital (uppercase) letter.

  • By convention, JavaScript and CSS files on disk are almost always named with a leading lowercase. It would be good to have parallelism with on-wiki page names (such as while uploading git-managed source files on disk). With the introduction of packaged gadgets (as part of the patch for T198758), it would be preferable to write require('./data.json') rather than require('./Data.json')
  • There could be existing pages like MediaWiki:Gadget-Foo.js and MediaWiki:Gadget-foo.js. During the migration, both titles would conflictingly have the same move destination Gadget:Foo.js.

So, I think we should use capitallinkoverride for gadget namespace as well. (It's already being used for gadget definition namespace).

Event Timeline

Makes sense to me, +1. And congrats on T300000!

Yes, @Legoktm. I was thinking the same thing. This mission happens to be the 300,000th mission.

Change 826945 had a related patch set uploaded (by SD0001; author: SD0001):

[mediawiki/extensions/Gadgets@master] Allow pages in gadget namespace to begin with a lowercase letter

https://gerrit.wikimedia.org/r/826945

Change 826945 merged by jenkins-bot:

[mediawiki/extensions/Gadgets@master] Allow pages in gadget namespace to begin with a lowercase letter

https://gerrit.wikimedia.org/r/826945

SD0001 removed a project: Patch-For-Review.