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