Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  9f0b4cc40d7986ec9c8605c11f8d5600fc6d7acd

Hygiene: Remove hookOptions

Not used anymore, the only user has already been fixed

Change-Id: If7b698699d8472e2c89ae616839af9b6ecf62f16