Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  ef166dd86e75e14cade045450f0a8e46c1b9cfce

Build content navigation menu

Remove need for our variant code \o/ for a big red diff!

Change-Id: I1b72dfdfa0fccd360b41e4bba713f93f9db1b2eb