Wiki: Update to mediawiki 1.20.3; Recommit missing files