Add extension.php