Updated mediawiki/extensions
Project: mediawiki/extensions/ViewFiles  5089fd958fe6e555118a24c4fcb222fd03e59883

Update formatting

Change-Id: I06d45f0bd0c25c853b51638343a81dfdbc8141fb