<?php
if(php_sapi_name() !== 'cli') die();

$json = file_get_contents('http://www.ttss.krakow.pl/internetservice/geoserviceDispatcher/services/stopinfo/stops?left=-648000000&bottom=-324000000&right=648000000&top=324000000');
$elements = json_decode($json, 1);
foreach($elements['stops'] as $element) {
	if($element['category'] == 'other') continue;
	$stops[$element['shortName']] = $element['name'];
}

asort($stops);

echo '<?php'."\n";
echo '$stops = array ('."\n";
foreach($stops as $id => $stop) {
	echo '  '.str_pad($id, 4, ' ', STR_PAD_RIGHT).' => '.var_export($stop, TRUE).','."\n";
}
echo ');'."\n";