<?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];

?>