芝麻web文件管理V1.00

编辑当前文件:/home/pulsehostuk9/www/status.pulsehost.co.uk/vendor/nadar/parser/bin/update-profiles.php

<?php

include_once __DIR__ . '/bootstrap.php';
	
	echo "Downloading...";

$profiles = json_decode(file_get_contents("https://api.whichbrowser.net/resources/profiles.json"));

$total = count($profiles);

$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 .= "use WhichBrowser\\Constants\\DeviceType;\n";
	$result .= "\n";
	$result .= "DeviceProfiles::\$PROFILES = [\n";

foreach($profiles as $key => $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';
		}
	}