HomePhabricator

[WIP] Start with override mediawiki.ui colors - #10131
e4a0d092c372Unpublished

Authored by dvogel on May 10 2019, 2:39 PM.

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

[WIP] Start with override mediawiki.ui colors - #10131

Work in progress. Do not merge.

[3.1]

Change-Id: I71584ddd24a3a2c6d57d41fda5d69b4b0e3c6b05