Merge "mediawiki.page.patrol.ajax: Rename file to match module name"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Dec 2015 14:07:40 +0000 (14:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Dec 2015 14:07:40 +0000 (14:07 +0000)
commit5fe5201f5e3e3dcc1d932c66d732009599c0a030
tree76c192c2f9d71389b31dbf8d847d2cfacad15ae9
parent8a5b362c435a054918a2392bc9d470ff85992022
parent82def5ea5f476cf67432ab2a26f4bd9399ea5d1d
Merge "mediawiki.page.patrol.ajax: Rename file to match module name"