Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f3df9469bc62b0aeca3876f4ceabc69e18205355

Prevent table of contents leaking into mobile

No longer a table with latest corei
See I4ecd0659d1f955a9b593d281a3fef0a81c218a52

Change-Id: I3dc78680fdd9eee6b7b6083619cfd5e37b74fea3