jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/337214 )

Change subject: Drop redundant Bootstrap CSS
......................................................................


Drop redundant Bootstrap CSS

Users of Bootswatch CSS should "replace Bootstrap's default stylesheet"
as stated in https://github.com/thomaspark/bootswatch#usage

Change-Id: I36d28993c42004379f0da5822521c7a820f30184
---
M quarry/web/templates/base.html
1 file changed, 1 insertion(+), 4 deletions(-)

Approvals:
  Zhuyifei1999: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/quarry/web/templates/base.html b/quarry/web/templates/base.html
index 01c7df5..b60ad60 100644
--- a/quarry/web/templates/base.html
+++ b/quarry/web/templates/base.html
@@ -16,10 +16,7 @@
         var vars = {{jsvars|tojson}};
     </script>
     {% endif %}
-    <!-- Latest compiled and minified CSS -->
-    <link rel="stylesheet" 
href="//tools-static.wmflabs.org/cdnjs/ajax/libs/twitter-bootstrap/3.2.0/css/bootstrap.min.css">
-
-    <!-- Optional theme -->
+    <!-- Latest compiled and minified CSS with theme -->
     <link rel="stylesheet" href="/static/css/fonts.css">
     <link rel="stylesheet" href="/static/vendor/yeti.bootstrap.min.css">
 

-- 
To view, visit https://gerrit.wikimedia.org/r/337214
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I36d28993c42004379f0da5822521c7a820f30184
Gerrit-PatchSet: 1
Gerrit-Project: analytics/quarry/web
Gerrit-Branch: master
Gerrit-Owner: Ricordisamoa <ricordisa...@openmailbox.org>
Gerrit-Reviewer: Zhuyifei1999 <zhuyifei1...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to