From db4932b9ce94cf10ff9e8df143efb01b34a3657b Mon Sep 17 00:00:00 2001
From: Lars Jung <lrsjng@gmail.com>
Date: Sat, 28 Jun 2014 19:21:29 +0200
Subject: [PATCH] Replace PHP short open tag, as it might be turned off in PHP
 < 5.4.0.

---
 src/_h5ai/server/php/inc/page.php.jade | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/_h5ai/server/php/inc/page.php.jade b/src/_h5ai/server/php/inc/page.php.jade
index 8af65591..4b9333d9 100644
--- a/src/_h5ai/server/php/inc/page.php.jade
+++ b/src/_h5ai/server/php/inc/page.php.jade
@@ -1,6 +1,6 @@
 
-- var app_href = "<?= APP_HREF ?>"
-- var fallback = "<?= FALLBACK ?>"
+- var app_href = "<?php echo APP_HREF; ?>"
+- var fallback = "<?php echo FALLBACK; ?>"
 
 doctype 5
 //if lt IE 10