fix extensions.php