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