From 450e7af0508c05ca568e72e1fef06d315d24275b Mon Sep 17 00:00:00 2001
From: Kyle Johnson <kjohnson@gnulnx.net>
Date: Thu, 18 Jul 2013 14:50:18 +0000
Subject: [PATCH] Replaced another short tag

---
 include/common.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/common.php b/include/common.php
index f4ba02f..2515b12 100644
--- a/include/common.php
+++ b/include/common.php
@@ -89,7 +89,7 @@ function printHeader($withmenu="default") {
 		<a class=<?php echo $menuclass?> href=help.php target=_help>Help</a>
 		<a class=<?php echo $menuclass?> href=about.php target=_about>About</a>
 		</div>
-		<?
+		<?php
 		break;
 	case 'ca':
 	default: