The update was smooth, without larger problems.
Only an artefact from a previous version had to be commented out:
// $wgTmpDirectory = "{$wgUploadDirectory}/tmp";
If you find further bugs, please let us know.
// $wgTmpDirectory = "{$wgUploadDirectory}/tmp";