JFIFxxC      C  " }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $profile) { $result .= " '" . addslashes(trim($profile->url)) . "'" . str_repeat(" ", max(0, 100 - strlen($profile->url))); $result .= "=> [ " . deviceString($profile->deviceManufacturer) . ", " . deviceString($profile->deviceModel); $result .= ", " . deviceString($profile->osName) . ", " . deviceType($profile->deviceType) . " ],\n"; } $result .= "];\n"; echo " and writing {$total} profiles...\n"; file_put_contents(__DIR__ . '/../data/profiles.php', $result); function deviceString($s) { if (is_null($s) || $s == '') { return 'null'; } return "'" . addslashes(trim($s)) . "'"; } function deviceType($type) { switch ($type) { case 'mobile': return 'DeviceType::MOBILE'; case 'tablet': return 'DeviceType::TABLET'; } }