Upon running the updater after https://gerrit.wikimedia.org/r/#/c/13855/ was merged, I get:
Purging caches...done.
Database serialization may cause problems, since the connection is not restored on wakeup.
Backtrace:
#0 [internal function]: DatabaseBase->__sleep()
#1 /var/www/wiki/mediawiki/core/includes/installer/DatabaseUpdater.php(412): serialize(Array)
#2 /var/www/wiki/mediawiki/core/includes/installer/DatabaseUpdater.php(361): DatabaseUpdater->setAppliedUpdates('1.21alpha', Array)
#3 /var/www/wiki/mediawiki/core/maintenance/update.php(151): DatabaseUpdater->doUpdates(Array)
#4 /var/www/wiki/mediawiki/core/maintenance/doMaintenance.php(110): UpdateMediaWiki->execute()
#5 /var/www/wiki/mediawiki/core/maintenance/update.php(193): require_once('/var/www/wiki/m...')
#6 {main}
Version: unspecified
Severity: normal