Updated mediawiki/extensions
Project: mediawiki/extensions/NamespaceHTML  394effdbefc1090069707be0b153a03ffc3354d3

fix capitalization in settings documentation

Change-Id: I56d4b750e2be2b700c5c00067853b49e7fd926a0