jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/389662 )
Change subject: jquery3.js -> jquery.js
......................................................................
jquery3.js -> jquery.js
Per Krinkle's comment.
Change-Id: Ib8c78b47b6a700dcf753a7a1fd90d05d649f52d2
---
M resources/Resources.php
R resources/lib/jquery/jquery.js
2 files changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/Resources.php b/resources/Resources.php
index a0e1863..2594a3d 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -133,7 +133,7 @@
'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
--
To view, visit https://gerrit.wikimedia.org/r/389662
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib8c78b47b6a700dcf753a7a1fd90d05d649f52d2
Gerrit-PatchSet: 6
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: TerraCodes <terraco...@tools.wmflabs.org>
Gerrit-Reviewer: Fomafix <foma...@googlemail.com>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
