Merge "Fix documentation of InfoAction::pageInfo"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 May 2018 14:52:06 +0000 (14:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 May 2018 14:52:06 +0000 (14:52 +0000)
commitc004cfc116eb8c677c346f3db561fc3593a8fd99
treeaea6ddba2582eb10a310f9901ff67bcb6e3c1dca
parent369476d30eaf2221c61d09436bcabf5042c31081
parentd030da9ddc8893491991e1f33517670809e5a713
Merge "Fix documentation of InfoAction::pageInfo"