Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  dc81c514422db0a90291afbcdeb29542973ef8e0

Hygiene: Put TableOfContents in own file

Change-Id: Ie45747ec885e17775e30cb559756d1c489c407c0