Update extensions.php