accindentaly merged bootstrap naming on master
main
Gijs Boddeus 8 years ago committed by GitHub
parent dbd98ea96c
commit 9f48356356
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -395,8 +395,7 @@
"X-Powered-By": "Afosto SaaS BV" "X-Powered-By": "Afosto SaaS BV"
}, },
"icon": "Afosto.svg", "icon": "Afosto.svg",
"implies": "PHP", "website": "http://afosto.com",
"website": "https://afosto.com"
}, },
"Aircall": { "Aircall": {
"cats": [ "cats": [
@ -462,7 +461,7 @@
"env": "^AUI$", "env": "^AUI$",
"icon": "AlloyUI.png", "icon": "AlloyUI.png",
"implies": [ "implies": [
"Bootstrap", "Twitter Bootstrap",
"YUI" "YUI"
], ],
"script": "^https?://cdn\\.alloyui\\.com/", "script": "^https?://cdn\\.alloyui\\.com/",
@ -1054,20 +1053,6 @@
"implies": "CodeIgniter", "implies": "CodeIgniter",
"website": "http://cibonfire.com" "website": "http://cibonfire.com"
}, },
"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": "Bootstrap.png",
"script": "(?:twitter\\.github\\.com/bootstrap|bootstrap(?:\\.js|\\.min\\.js))",
"website": "http://getbootstrap.com"
},
"Bootstrap Table": { "Bootstrap Table": {
"cats": [ "cats": [
"12" "12"
@ -8242,7 +8227,7 @@
], ],
"icon": "strapdown.js.png", "icon": "strapdown.js.png",
"implies": [ "implies": [
"Bootstrap", "Twitter Bootstrap",
"Google Code Prettify" "Google Code Prettify"
], ],
"script": "strapdown\\.js", "script": "strapdown\\.js",
@ -8769,6 +8754,20 @@
"script": "//platform\\.twitter\\.com/widgets\\.js", "script": "//platform\\.twitter\\.com/widgets\\.js",
"website": "http://twitter.com" "website": "http://twitter.com"
}, },
"Twitter 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"
},
"Twitter Emoji (Twemoji)": { "Twitter Emoji (Twemoji)": {
"cats": [ "cats": [
"25" "25"