Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  513ed52d93172fa9d24a67a6cc954d71847d8998

Make toggle dynamic an extension of toggle.js

This makes more sense

Change-Id: I1d45ffe033f894eeaa2cee62b4c70f17bc012955