+ patch for mediawiki 1.20.3