Last modified: 2014-04-18 00:23:55 UTC
From <https://gerrit.wikimedia.org/r/87731>: * $wmgUseMicroDesign - nothing uses it, but I've heard some bold plans about micro design improvements, so I'm leaving this be to not get shouted at
Change 126987 had a related patch set uploaded by Bartosz Dziewoński: Remove $wmgUseMicroDesign https://gerrit.wikimedia.org/r/126987
Change 126987 merged by jenkins-bot: Remove $wmgUseMicroDesign https://gerrit.wikimedia.org/r/126987
Did this have (or need?) an associated extension-list change?
No and no.