version.php

@@ -1,2 +1,9 @@
<?php
echo max(array_map('filemtime', glob('*.{html,js,css}', GLOB_NOSORT|GLOB_BRACE)));
$files = glob('*.{html,js,css}', GLOB_NOSORT|GLOB_BRACE);

echo json_encode(
   array_combine(
      $files,
      array_map('filemtime', $files)
   )
);