- Timestamp:
- 10/11/2017 05:06:46 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sites/trunk/api.wordpress.org/public_html/core/browse-happy/1.0/parse.php
r6019 r6020 51 51 // Find tokens of interest in user-agent string. 52 52 preg_match_all( 53 '%(?P<name>Opera Mini|Opera|OPR|Edge|UCBrowser|UCWEB|QQBrowser|SymbianOS|Symbian|S40OviBrowser|Trident|Silk|Konqueror|PaleMoon| SeaMonkey|Vivaldi|Camino|Kindle|Firefox|SamsungBrowser|(?:Mobile )?Safari|NokiaBrowser|MSIE|RockMelt|AppleWebKit|Chrome|IEMobile|Version)(?:[/ ])(?P<version>[0-9.]+)%im',53 '%(?P<name>Opera Mini|Opera|OPR|Edge|UCBrowser|UCWEB|QQBrowser|SymbianOS|Symbian|S40OviBrowser|Trident|Silk|Konqueror|PaleMoon|Puffin|SeaMonkey|Vivaldi|Camino|Kindle|Firefox|SamsungBrowser|(?:Mobile )?Safari|NokiaBrowser|MSIE|RockMelt|AppleWebKit|Chrome|IEMobile|Version)(?:[/ ])(?P<version>[0-9.]+)%im', 54 54 $user_agent, 55 55 $result, … … 180 180 $data['name'] = 'Pale Moon'; 181 181 $data['version'] = $result['version'][ $key ]; 182 } 183 // Puffin 184 elseif ( false !== ( $key = array_search( 'Puffin', $result['name'] ) ) ) { 185 $data['name'] = 'Puffin'; 186 $data['version'] = $result['version'][ $key ]; 187 $version = ''; 188 // If not an already-identified mobile platform, set it as such. 189 if ( ! $data['mobile'] ) { 190 $data['mobile'] = true; 191 $data['platform'] = ''; 192 } 182 193 } 183 194 // SeaMonkey
Note: See TracChangeset
for help on using the changeset viewer.