如何修复第72行的wp-includes / functions.php中遇到的非数字值

Recently updated to PHP 7.2 and I've encountered multiple errors especially when logging in to the wordpress dashboard

Deactivating themes and plugins to solve errors is simple enough but this error is appearing in the functions.php so I'm unsure how to proceed, or even if I'm missing something obvious

MySQL 4 PHP 7.2

(the line third from the bottom is line 72, another reason I'm unsure of the error)

Thanks!

function current_time( $type, $gmt = 0 ) {

switch ( $type ) {
    case 'mysql':
        return ( $gmt ) ? gmdate( 'Y-m-d H:i:s' ) : gmdate( 'Y-m-d H:i:s', ( time() + ( get_option( 'gmt_offset' ) * HOUR_IN_SECONDS ) ) );
    case 'timestamp':
        return ( $gmt ) ? time() : time() + ( get_option( 'gmt_offset' ) * HOUR_IN_SECONDS );
    default:
        return ( $gmt ) ? gmdate( $type ) : gmdate( $type, time() + ( get_option( 'gmt_offset' ) * HOUR_IN_SECONDS ) );
} 
}