https://bugzilla.wikimedia.org/show_bug.cgi?id=70351
Bartosz Dziewoński <matma....@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jared.zimmerman@wikimedia.o
| |rg, jrob...@wikimedia.org,
| |mflasc...@wikimedia.org,
| |mgallo...@wikimedia.org,
| |swall...@wikimedia.org
Component|Interface |MediaWiki UI
--- Comment #1 from Bartosz Dziewoński <matma....@gmail.com> ---
I believe the official name is 'MediaWiki UI' now. It even has its own Bugzilla
component.
I don't think you're right that they "do not make sense with most skins", but
there are definitely some skins that MediaWiki UI styles don't fit.
I think the best way to resolve this would be to make the MediaWiki UI modules'
styles overridable with $wgResourceModuleSkinStyles [1] – this way skins that
implement really custom look would be able to change (or just disable) the
styling.
This basically requires changing `'styles' => array( … )` in module definitions
to `'skinStyles' => array( 'default' => array( … ) )`. (jQuery UI modules are
actually done this way, with custom style overrides in Vector – they're a good
example to follow here.)
[1] https://www.mediawiki.org/wiki/Manual:$wgResourceModuleSkinStyles
--
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
