From 82def5ea5f476cf67432ab2a26f4bd9399ea5d1d Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Mon, 21 Dec 2015 19:10:33 -0800 Subject: [PATCH] mediawiki.page.patrol.ajax: Rename file to match module name Change-Id: If8b99d336749d26f18246491ca094487b4dea18e --- resources/Resources.php | 2 +- resources/src/mediawiki/page/{patrol.js => patrol.ajax.js} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename resources/src/mediawiki/page/{patrol.js => patrol.ajax.js} (100%) diff --git a/resources/Resources.php b/resources/Resources.php index c66dcb2181..4e247e08fa 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1632,7 +1632,7 @@ return array( 'targets' => array( 'desktop', 'mobile' ), ), 'mediawiki.page.patrol.ajax' => array( - 'scripts' => 'resources/src/mediawiki/page/patrol.js', + 'scripts' => 'resources/src/mediawiki/page/patrol.ajax.js', 'dependencies' => array( 'mediawiki.page.startup', 'mediawiki.api', diff --git a/resources/src/mediawiki/page/patrol.js b/resources/src/mediawiki/page/patrol.ajax.js similarity index 100% rename from resources/src/mediawiki/page/patrol.js rename to resources/src/mediawiki/page/patrol.ajax.js -- 2.20.1