Update mediawiki to 1.20.3; Fix missing files