Fix another short-tag in docs
authorStuart Prescott <stuart@debian.org>
Mon, 17 Aug 2015 08:12:40 +0000 (18:12 +1000)
committerStuart Prescott <stuart@debian.org>
Mon, 17 Aug 2015 08:12:40 +0000 (18:12 +1000)
doc/index.php

index 871a608..7b2de66 100644 (file)
@@ -88,7 +88,7 @@ plugins can be found in
 
 <br />
 
-<?
+<?php
 
 include "theme/debfooter.html";