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.
On Wed, Jan 4, 2017 at 2:24 PM, Wes Moran wmoran@wikimedia.org wrote:
That is certainly one way to reduce the amount of style guides :)
On Wed, Jan 4, 2017 at 4:52 PM, Matthew Flaschen mflaschen@wikimedia.org wrote:
Can we delete mwui.wmflabs.org? Please see https://phabricator.wikimedia.org/T154616 .
Thanks,
Matt Flaschen
Design mailing list Design@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/design