From: jenkins-bot Date: Tue, 22 Dec 2015 14:07:40 +0000 (+0000) Subject: Merge "mediawiki.page.patrol.ajax: Rename file to match module name" X-Git-Tag: 1.31.0-rc.0~8583 X-Git-Url: http://git.cyclocoop.org//%27http:/ie7-js.googlecode.com/svn/test/index.html/%27?a=commitdiff_plain;h=5fe5201f5e3e3dcc1d932c66d732009599c0a030;p=lhc%2Fweb%2Fwiklou.git Merge "mediawiki.page.patrol.ajax: Rename file to match module name" --- 5fe5201f5e3e3dcc1d932c66d732009599c0a030