Hide media players

This commit is contained in:
Faisal Salman
2014-10-14 23:25:48 +07:00
parent 381bbea845
commit 5d817e372b
4 changed files with 1245 additions and 589 deletions

View File

@@ -40,7 +40,7 @@
var util = {
extend : function (regexes, extensions) {
for (var i in extensions) {
if ("browser cpu device engine os".indexOf(i) !== -1 && extensions[i].length % 2 == 0) {
if ("browser cpu device engine os".indexOf(i) !== -1 && extensions[i].length % 2 === 0) {
regexes[i] = regexes[i].concat(extensions[i]);
}
}
@@ -297,7 +297,13 @@
/(gobrowser)\/?((\d+)?[\w\.]+)*/i, // GoBrowser
/(ice\s?browser)\/v?((\d+)?[\w\._]+)/i, // ICE Browser
/(mosaic)[\/\s]((\d+)?[\w\.]+)/i // Mosaic
], [NAME, VERSION, MAJOR], [
], [NAME, VERSION, MAJOR]
/* /////////////////////
// Media players BEGIN
////////////////////////
, [
/(apple(?:coremedia|))\/((\d+)[\w\._]+)/i, // Generic Apple CoreMedia
/(coremedia) v((\d+)[\w\._]+)/i
@@ -399,6 +405,10 @@
/(radio.(?:de|at|fr))\s((\d+)[\d\.]+)/i
], [[NAME, 'rad.io'], VERSION, MAJOR]
//////////////////////
// Media players END
////////////////////*/
],
cpu : [[

File diff suppressed because one or more lines are too long