From dc8a2fee5852b1d8249dd0b441883dcc241f5207 Mon Sep 17 00:00:00 2001 From: Zach Date: Mon, 6 Nov 2017 20:06:28 -0900 Subject: [PATCH] jquery3.js -> jquery.js Per Krinkle's comment. Change-Id: Ib8c78b47b6a700dcf753a7a1fd90d05d649f52d2 --- resources/Resources.php | 2 +- resources/lib/jquery/{jquery3.js => jquery.js} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename resources/lib/jquery/{jquery3.js => jquery.js} (100%) diff --git a/resources/Resources.php b/resources/Resources.php index a0e1863efd..2594a3de8f 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -133,7 +133,7 @@ return [ 'jquery' => [ 'scripts' => [ - 'resources/lib/jquery/jquery3.js', + 'resources/lib/jquery/jquery.js', 'resources/lib/jquery/jquery.migrate.js', ], 'raw' => true, diff --git a/resources/lib/jquery/jquery3.js b/resources/lib/jquery/jquery.js similarity index 100% rename from resources/lib/jquery/jquery3.js rename to resources/lib/jquery/jquery.js -- 2.20.1