mediawiki.page.patrol.ajax: Rename file to match module name
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 22 Dec 2015 03:10:33 +0000 (19:10 -0800)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 22 Dec 2015 03:10:58 +0000 (19:10 -0800)
commit82def5ea5f476cf67432ab2a26f4bd9399ea5d1d
treeb07705ea0a0890be199c221c630d2bff89979785
parente144319440e41f4ccd214efd36b25865a91d5ab6
mediawiki.page.patrol.ajax: Rename file to match module name

Change-Id: If8b99d336749d26f18246491ca094487b4dea18e
resources/Resources.php
resources/src/mediawiki/page/patrol.ajax.js [new file with mode: 0644]
resources/src/mediawiki/page/patrol.js [deleted file]