Adding missing ext.php