diff options
| -rw-r--r-- | phpBB/extension.inc | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/phpBB/extension.inc b/phpBB/extension.inc deleted file mode 100644 index 2df77cbb3b..0000000000 --- a/phpBB/extension.inc +++ /dev/null @@ -1,25 +0,0 @@ -<?php -/*************************************************************************** - * extension.inc - * ------------------- - * begin : Saturday, Feb 13, 2001 - * copyright : (C) 2001 The phpBB Group - * email : support@phpbb.com - * - * $Id$ - * - * - ***************************************************************************/ - -// -// Change this if your extension is not .php! -// -$phpEx = 'php'; - -// -// For debug timing -// -$starttime = explode(' ', microtime()); -$starttime = $starttime[1] + $starttime[0]; - -?>
\ No newline at end of file |