add extensions.php