Adjusting footer.php (need ';' for each line);

diff --git a/www/footer.php b/www/footer.php
index 585597e149123f6a1eb63bcb363515b716c76172..0575149d64783b0e5c7bc1bfd0013ef06a58d211 100644 (file)
--- a/www/footer.php
+++ b/www/footer.php
@@ -1,8 +1,8 @@
 <?php
 //This a PHP code to add page footer
 
-include        "release.php" 
+include        "release.php";
 
-echo ("Version: ")
+echo ("Version: ");
 echo ("<a href=ChangeLog>$m_release</A> \n");
 ?>

diff --git a/www/release.php b/www/release.php
index 017b79badb97e7ec859c413f06d36495cecef7d9..9d31c4f1fa78844757bbffefda8549e3d50e8bf3 100644 (file)
--- a/www/release.php
+++ b/www/release.php
@@ -1,6 +1,6 @@
 <?php
 $m_version="0.15";
-$m_release="11";
+$m_release="12";
 $m_branch="dvl";
-$m_release="0.15-11-dvl";
+$m_release="0.15-12-dvl";
 ?>