https://bugzilla.wikimedia.org/show_bug.cgi?id=50191

--- Comment #2 from f.trott <f.tr...@gmx.net> ---
Fwiw, I really do not mind having it under something called "unofficial",
although "officialness" is probably not the right criterion to use. You'd have
to first define (and somehow communicate) what "official" means. Included in MW
by default? Provided and maintained by WMF? Maybe call it something like
"additional", "added" or "optional". Or ask on the ML for proposals. :)

The problem with just putting it into "Mediawiki extensions" is, that there
might be an extension with the same name (see Vector).

Another possibility could be to put _all_ skins under "Mediawiki skins". If
somebody already knows and categorizes a bug as a skin bug, they might as well
report it appropriately. This would also make it easier to remove a skin later
from the default installation and maintain it as optional.

-- 
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

Reply via email to