Updated mediawiki/extensions
Project: mediawiki/extensions/Insider  6fbaad4f5059bdc0dc7dcada9790c50e87d6ec8a

Insider: Heading level in sidebar: h5 to h3

The heading level in the sidebar needs to be changed because it also
changed in core.

Bug: 51626
Change-Id: Iada8c743bea5ced21c0d94e892f985cf40674f95