Merge "Work around disappearing Special:Preferences buttons on RTL in Edge"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 May 2019 20:35:31 +0000 (20:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 May 2019 20:35:31 +0000 (20:35 +0000)
commitd11c2e19444cb72b27f65907e183aa206d707843
treed411788d7464e2064d6354c99c98357e00c7c845
parent0dc0e7d45f608f7db68cc79aacea5679bd1a8fd1
parenta91d95c0f10748b41244c73d83ef8b0c389df819
Merge "Work around disappearing Special:Preferences buttons on RTL in Edge"