Updated mediawiki/extensions
Project: mediawiki/extensions/NamespaceHTML  9c100616f293180848f5641ffbefe5707f2343af

initial code

Change-Id: Ibb3d2f5804f70450895c9e2bd06dd6f1cd67abb0