Merge "mediawiki.util: Remove redundant file closures"