In the great scheme of overall progress, we should delete it â together
with all references on mediawiki.org.
Only opposing thought is, that we won't have one public place to refer to
the mediawiki.UI elements (ok, after the current instance isn't running any
more we don't have one right now either). I'm thinking about discussing
changes to align the remaining elments with OOjs UI.
Best,
Volker
PS: I've also added a comment on the task, we should continue discussion
there.
That is certainly one way to reduce the amount of style guides :)
Post by Matthew FlaschenCan we delete mwui.wmflabs.org? Please see
https://phabricator.wikimedia.org/T154616 .
Thanks,
Matt Flaschen
_______________________________________________
Design mailing list
https://lists.wikimedia.org/mailman/listinfo/design