Remove unused ext.php