Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  5207b5d968e56113f92272ce66e21f9d4c774ff0

Hygiene: remove unused parameter

Change-Id: I32735fc2b6a2a7553875d4dac9db2d81c24937c2