For context, we are in the midst of upgrading our MediaWiki installation from 1.17 to 1.23wmf19. We've tried running the update script from the command line (as well as using the web updater) but keep running into the same error message copy-pasted below:
...batch conversion of user_options: Notice: Undefined property: stdClass::$user_password_expires in [REDACTED]/var/www/html/wiki/includes/User.php on line 1227
A database query error has occurred.
Query: UPDATE mw_user SET user_name = '[REDACTED]',user_password = ':[REDACTED]',user_newpassword = ':[REDACTED]',user_newpass_time = '[REDACTED]',user_real_name = '[REDACTED]',user_email = '[REDACTED]',user_email_authenticated = '[REDACTED]',user_touched = '[REDACTED]',user_token = '[REDACTED]',user_email_token = '[REDACTED]',user_email_token_expires = '[REDACTED]',user_password_expires = NULL WHERE user_id = '1'
Error: 1054 Unknown column 'user_password_expires' in 'field list' ([REDACTED IP ADDRESS])