Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  7b7591b97142e2db7a100590bb3bf7899f9d89a7

Use TOC only when page is supposed to have it

Change-Id: I694dfbada957cffb8f72854bea138f9a021ff31d