<?php
$data =
json_decode(
file_get_contents(
  'https://velov.grandlyon.com/fr/les-stations.html?type=777&tx_glstationsvelov_pi1%5Baction%5D=listOfVelovWidthInfoStation&tx_glstationsvelov_pi1%5Bcontroller%5D=StationVelov',
  false,
  stream_context_create([
    'http' => [
        'header'  => "Content-type: application/x-www-form-urlencoded\r\n",
        'method'  => 'POST',
        'content' => http_build_query([])
      ]
    ])
  ),
  true
);

if(isset($_GET['filter'])){
  if(htmlentities($_GET['filter']))
    $filter = true;
  else
    $filter = false;
}else
  $filter = false;
?>

<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8" />
  <title>Because velov map is too heavy</title>
  <style>
    html{
      background-color:black;
      color:white;
    }
    .success{
      color:green;
    }
    .danger{
      color: red;
    }
  </style>
</head>
<body>
<form action="" method="get">
  <?php if ($filter) { ?>
    <input type="hidden" name="filter" value="" />
    <input type="submit" value="Tout afficher" />
  <?php } else { ?>
    <input type="hidden" name="filter" value="true" />
    <input type="submit" value="Afficher uniquement la séléction" />
  <?php } ?>
  <table>
    <tr><th>Sélectionner</th><th>Nom</th><th>Vélos</th><th>Places Libres</th></tr>
    <?php
  foreach ($data as $key => $station){
    if ( ! $filter || isset($_GET[$key])){
      echo
      '<tr>
        <td><input type="checkbox" name="',$key,'"/></td>
        <td class="', ($station['open'] == 1 && $station['obsolete'] == 0 ? 'success' : 'danger' ) ,'" >'
          ,$station['name'],
        '</td>
        <td>',$station['AB'], '</td>
        <td>', $station['ABS'], '</td>
      </tr>';
    }
  }
    ?>
  </table>
  <?php if ($filter) { ?>
    <input type="submit" value="Tout afficher" />
  <?php } else { ?>
    <input type="submit" value="Afficher uniquement la séléction" />
  <?php } ?>
</form>
</body>
</html>