Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  4ad3955c8f8b38bf89b7f0ac5d0f2b60a87ea8b6

Remove two old modules kept for HTML backwards-compatibility

Both should be safe to remove now.

Change-Id: I88bfb1fb3ccb74be872a6e64fc031ece48d002ce