Merge "Make prefs-advancedediting more consistent"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 27 Jul 2013 17:48:57 +0000 (17:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 27 Jul 2013 17:48:57 +0000 (17:48 +0000)
commitf46517649d29557e56291a8bb57228cefa601413
treed85a8ff26efed1eab811fcd3e2bee5268820f25e
parent4d495b8d0b62975547a750b9475660b1048af5d6
parent4ffdd875ba1fb62f7fde9a476f7a218b8ee5c7ad
Merge "Make prefs-advancedediting more consistent"