In my local mediawiki-vagrant installation, editing (headers, titles or posts) first appears to succeed, but the change is not reflected when I reload the page. Further attempts to edit the same item results in the following error:

An error occurred.
The error message received was: Exception Caught: A database error has occurred. Did you forget to run maintenance/update.php after upgrading? See: https://www.mediawiki.org/wiki/Manual:Upgrading#Run_the_update_script Query: INSERT INTO flow_revision (rev_id,rev_user_id,rev_user_ip,rev_parent_id,rev_change_type,rev_type,rev_content,rev_flags,rev_mod_state,rev_mod_user_id,rev_mod_user_ip,rev_mod_timestamp,rev_mod_reason,rev_last_edit_id,rev_edit_user_id,rev_edit_user_ip) VALUES ('���=U������','1',NULL,'�����uj��@�','edit-header','header','aaa','utf-8,wikitext','',NULL,NULL,NULL,NULL,'���=U������','1',NULL) Function: Flow\Data\RevisionStorage::insert Error: 1062 Duplicate entry '\x05\x10\x12\x8C\xD1uj\xF6\x0B@\x08' for key 'flow_revision_unique_parent' (localhost)

This is despite having run update.php.

Version: unspecified
Severity: normal