Updated mediawiki/extensions
Project: mediawiki/extensions/ViewFiles  a9d9243aabc8bf5368282983145bc96584b90cdb

Consistency tweak: Put LocalSettings.php in code tag

Spotted by Siebrand
https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Viewfiles-no-geshi/en

Change-Id: Ifb7d09bb58728d716ea7272eb74bb4dd3c503089