Updated mediawiki/extensions
Project: mediawiki/extensions/UserFunctions  ee300da68294727a9f800c85a7b6d9d66c755cec

Recover because last commit broke it. Cleaning later

Change-Id: I6e731709c31d9b40b7761624435dc4cf92dc7668