patch to mediawiki core, fixes problem with uploaded files under certain conditions