Merge "Correctly use $wgFeedLimit in page history feed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jul 2013 14:58:19 +0000 (14:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jul 2013 14:58:19 +0000 (14:58 +0000)
commit5b04704d304968ca49b6190ed0dd1d5ad819db45
tree786337986f909871f76294981188c40a32ed4081
parentadc5b9fcf4c95744db0c54aa618f36cd4ccbd31e
parent0b7ecb1a64e4baac354860ef2d3d094c13e178c4
Merge "Correctly use $wgFeedLimit in page history feed"
includes/actions/HistoryAction.php