inc/users.inc.php
changeset 71 e1b918eaf69a
parent 67 2f8c29fc5e2e
child 74 43c31dc98305
--- a/inc/users.inc.php	Tue Jan 29 21:32:48 2008 +0000
+++ b/inc/users.inc.php	Sat Feb 02 15:39:04 2008 +0000
@@ -1,4 +1,4 @@
-<?
+<?php
 
 /*  PowerAdmin, a friendly web-based admin tool for PowerDNS.
  *  See <https://rejo.zenger.nl/poweradmin> for more details.