<?php

namespace FormGent;

include_once __DIR__ . '/bootstrap.php';
echo "Updating browser ids...\n";
$ids = \json_decode(\file_get_contents("https://api.whichbrowser.net/resources/browser-ids.json"));
$result = "";
$result .= "<?php\n";
$result .= "\n";
$result .= "/* This file is automatically generated, do not edit manually! */\n";
$result .= "\n";
$result .= "namespace WhichBrowser\\Data;\n";
$result .= "\n";
$result .= "BrowserIds::\$ANDROID_BROWSERS = [\n";
foreach ($ids as $key => $id) {
    $result .= "    '" . \addslashes(\trim($id->browserId)) . "'" . \str_repeat(" ", \max(0, 100 - \strlen($id->browserId)));
    $result .= "=> " . deviceString($id->browserName) . ",\n";
}
$result .= "];\n";
\file_put_contents(__DIR__ . '/../data/id-android.php', $result);
function deviceString($s)
{
    if (\is_null($s) || $s == '') {
        return 'null';
    }
    return "'" . \addslashes(\trim($s)) . "'";
}
