changed file headers & added AUTHORS file

[PHP-P10.git] / Tools / timer.inc.php

diff --git a/Tools/timer.inc.php b/Tools/timer.inc.php
index 57c63188f210c1729ea19d75dc2cbb7f42270064..9b87c4da64cdd1a88717d6f9ebefa4a20d76abdb 100644 (file)
--- a/Tools/timer.inc.php
+++ b/Tools/timer.inc.php
@@ -1,4 +1,26 @@
 <?php
+/******************************* PHP-P10 v2 *****************************
+ * Copyright (C) 2011  Philipp Kreil (pk910)                            *
+ *                                                                      *
+ * This program is free software: you can redistribute it and/or modify *
+ * it under the terms of the GNU General Public License as published by *
+ * the Free Software Foundation, either version 3 of the License, or    *
+ * (at your option) any later version.                                  *
+ *                                                                      * 
+ * This program is distributed in the hope that it will be useful,      *
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of       *
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the        *
+ * GNU General Public License for more details.                         *
+ *                                                                      *
+ * You should have received a copy of the GNU General Public License    *
+ * along with this program. If not, see <http://www.gnu.org/licenses/>. *
+ *                                                                      *
+ ************************************************************************
+ * 
+ * Tools/timer.inc.php
+ *
+ *  timer functions
+ */
 $timers['id']=0;
 
 function timer_loop() {