stops/download_stops.php

@@ -4,8 +4,15 @@
$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);
var_export($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";