Merge "EditPage: Simplify getEditButtons()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Jan 2018 17:08:01 +0000 (17:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Jan 2018 17:08:01 +0000 (17:08 +0000)
commitd8a2d6bf54c0853997d885aeb35e192db5a0c528
tree97793ca325eb1b14d2e896b0265274af38b677d6
parent6f1fcd0b58f4947aac906144d461cde387b62afb
parentfbbf5f9c781dc561d0444a5c24cb11c2e0d12e64
Merge "EditPage: Simplify getEditButtons()"