browser: renamed agent keys
[sheet.git] / tools / convert-stats-wikimedia.pl
index 382fe0c122cbde51ecad58a06e3baea19d309b20..1e9b1c3d1afee4db72e763b5756365282dcfc48b 100755 (executable)
@@ -23,15 +23,15 @@ $count =~ s/%$//;
 $version //= 0;
 given ($browser) {
        when (['Firefox', 'Iceweasel']) {
-               $browser = 'gecko';
+               $browser = 'firefox';
                continue;
        }
        when ('MSIE') {
-               $browser = 'trident';
+               $browser = 'ie';
                continue;
        }
        when ('Opera') {
-               $browser = $mobile ? 'op_mob' : 'presto';
+               $browser = $mobile ? 'op_mob' : 'opera';
                for ($version) {
                        if (m{\(Mini(.*)\)$}) {
                                $browser = 'op_mini';
@@ -43,7 +43,7 @@ given ($browser) {
                continue;
        }
        when ('Safari') {
-               $browser = $mobile ? 'ios_saf' : 'webkit_saf';
+               $browser = $mobile ? 'ios_saf' : 'safari';
                my $numversion = join('.', map { sprintf '%03d', $_ } split /\./, $version);
                $numversion =~ s/6(?=\d{3})//;  # incomparable 6532.22 → 523
                for (
@@ -72,7 +72,7 @@ given ($browser) {
                }
        }
        when ('Chrome') {
-               $browser = 'webkit_chr';
+               $browser = 'chrome';
                s/\.\d+$// for $version;
        }
        when ('Android') {