I am updating from Mediawiki 1.20.3 to 1.24.1
When I run maintenance/update.php I get this error:
Adding rev_content_format field to table revision ...A database query error has occurred. Query: ALTER TABLE `adb_revision` ADD rev_content_format varbinary(64) DEFAULT NULL
Function: DatabaseBase::sourceFile( /www/docs/wiki/maintenance/archives/patch-revision-rev_content_format.sql ) Error: 7 Error on rename of './wikidb/adb_revision.frm' to './wikidb/#sql2-1c98-86.frm' (Errcode: 13) (localhost)
The $wgDBadminuser is user 'mysql' and the password for it is in my own ~/-my.cnf
What could be the problem, or how could I debug this?
It is not my first Mediawiki update, I have a history of updateing in 2013 from 1.18 to 1.20.3 and before than from 1.17 to 1.18