From f3537137188cc9ad6b8ed3f52c42ba78059ff23b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 28 Jul 2013 23:17:56 +0200
Subject: [PATCH] archive: use '<?php .. ?>' instead of '<? .. ?>'. Thanks
 XhmikosR.

---
 htdocs/archive/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/archive/index.php b/htdocs/archive/index.php
index 2781730f1..b866b2465 100644
--- a/htdocs/archive/index.php
+++ b/htdocs/archive/index.php
@@ -44,7 +44,7 @@ uninitialized variables, unused functions" />
     <p> If you have a rule or library configuration that you want to share, use this
     archive. Feel free to add any library or rule here.</p>
 
-    <? virtual('../cgi-bin/report.cgi') ?>
+    <?php virtual('../cgi-bin/report.cgi') ?>
 
     <p><a href="/cgi-bin/archive.zip">Download all</a></p>
   </div> <!-- .wrap -->