A quoi correspond : extension.inc ?

Bon,

Sur le serveur de mon forum http://www.forum-pompier.com

J'ai un fichier se nommant extension.inc avec ceci dedans :

<?php
/***************************************************************************
* extension.inc
* -------------------
* begin : Saturday, Feb 13, 2001
* copyright : (C) 2001 The phpBB Group
* email : support@phpbb.com
*
* $Id: extension.inc,v 1.5 2002/04/04 11:52:50 psotfx Exp $
*
*
***************************************************************************/

if ( !defined('IN_PHPBB') )
{
die("Hacking attempt");
}

//
// Change this if your extension is not .php!
//
$phpEx = "php";

$starttime = 0;

?>

Je le laisse ou je supprime ?

Merci !