Merge "Remove use of old API doc methods"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Oct 2018 16:20:15 +0000 (16:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Oct 2018 16:20:15 +0000 (16:20 +0000)
commite79b496256ad6adb457a3c685547fb03ef75eece
tree235ecb5e539dcca9350f3b6bb63981ef8cad647b
parent6edf7d44fad239b5e806b7bbbc0a0a1d6e044fa9
parentafe9a0fa5bd8fdcc9f2a9403f366e24f46fd64d1
Merge "Remove use of old API doc methods"