Error: 'unexpected end in /user.php line 416'

Hi,

I installed the latest version of WordPress 5 times already, but keep getting this error when running install.php:

‘Parse error: syntax error, unexpected $end in /home/vhosting/g/vhost0024286/domains/judithvanderrijt.com/htdocs/www/wp-admin/includes/user.php on line 416’

I cannot find anything relevant in that line (second line here):

‘ * Delete user option with global blog capability.
*
* global blog options. If the ‘global’ parameter is false, which it is by default
* it will prepend the WordPress table prefix to the option name.
*
* @since 3.0.0
*
* @global wpdb $wpdb WordPress database object for queries.
*
* @param int $user_id User ID
* @param string $option_name User option name.
* @param bool $global Optional. Whether option name is global or blog specific.
* Default false (blog specific).
* @return bool True on success, false on failure.
*/
function delete_user_option( $user_id, $option_name, $global = false ) {
global $wpdb;

if ( !$global )
$option_name = $wpdb->get_blog_prefix() . $option_name;
return delete_user_meta( $user_id, $option_name );
}’

Does anyone know what’s wrong and how to fix it?