update mediawiki core to latest