https://bugzilla.wikimedia.org/show_bug.cgi?id=70824
Bug ID: 70824
Summary: 2.0 Figure out how gadget naming collisions should
work, and document it
Product: MediaWiki extensions
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Gadgets
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
Blocks: 29272
Web browser: ---
Mobile Platform: ---
From https://www.mediawiki.org/wiki/ResourceLoader/V2_Task_management:
(RK) Figure out how gadget ID naming collisions should be handled, define this
somewhere, and enforce it
---
I think local gadgets should take precedence, and then give precedence to
whatever shared repo is first in $wgGadgetRepositories.
--
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
