diff -r 37f1a08315f3 -r 282e7d2bb28a www/version.php.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/www/version.php.in	Tue Aug 07 16:42:49 2018 +0200
@@ -0,0 +1,4 @@
+<?php
+
+$my_version = '@VERSION@';
+