Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c931794280cbf886fca95fa22da7cae3fa2ad85d

Story 1522: Table of contents

Change-Id: Ieabe8f7071696cde6afbdc6df853aacdb741a4a3