Merge "EditPage: Restore the old 'id' attributes in OOUI mode"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Jun 2017 17:38:09 +0000 (17:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Jun 2017 17:38:09 +0000 (17:38 +0000)
commit8e22e11f985b9716f61f8e93fb8a47fb0913e015
tree8393b93d847c7daee89bfff04fcaacdded764e0d
parent975f7ef08f5777e09ddba4777175b7bf031e8ec3
parentce2290e4817d78bbb400f1fec28cf4747eab8e1d
Merge "EditPage: Restore the old 'id' attributes in OOUI mode"