Improve a bit our Bootstrap handling (#1848)

- It's "Bootstrap", not "twitter bootstrap"
- The `env` was funky
- Factorize a bit the `script` section
- Rename the icon
- The website is in https
main
jvoisin 7 years ago committed by Elbert Alias
parent bab0daf214
commit 9697b969aa

@ -461,7 +461,7 @@
"env": "^AUI$",
"icon": "AlloyUI.png",
"implies": [
"Twitter Bootstrap",
"Bootstrap",
"YUI"
],
"script": "^https?://cdn\\.alloyui\\.com/",
@ -8259,7 +8259,7 @@
],
"icon": "strapdown.js.png",
"implies": [
"Twitter Bootstrap",
"Bootstrap",
"Google Code Prettify"
],
"script": "strapdown\\.js",
@ -8797,19 +8797,18 @@
"script": "//platform\\.twitter\\.com/widgets\\.js",
"website": "http://twitter.com"
},
"Twitter Bootstrap": {
"Bootstrap": {
"cats": [
"18"
],
"env": "^Twipsy$\\;confidence:50",
"html": [
"<style>/\\*!\\* Bootstrap v(\\d\\.\\d\\.\\d)\\;version:\\1",
"<link[^>]+?href=\"[^\"]+bootstrap(?:\\.min)?\\.css",
"<div[^>]+class=\"[^\"]*glyphicon glyphicon-"
],
"icon": "Twitter Bootstrap.png",
"script": "(?:twitter\\.github\\.com/bootstrap|bootstrap(?:\\.js|\\.min\\.js))",
"website": "http://getbootstrap.com"
"icon": "Bootstrap.png",
"script": "(?:twitter\\.github\\.com/bootstrap|bootstrap(?:\\.min)?\\.js)",
"website": "https://getbootstrap.com"
},
"Twitter Emoji (Twemoji)": {
"cats": [

Before

Width:  |  Height:  |  Size: 1.4 KiB

After

Width:  |  Height:  |  Size: 1.4 KiB