Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  954dd4424e0eb504ddf1f14d355c14dbc9455526

Hygiene: Remove userprofile.js

Accidentally added by me in a bad rebase in
If52e6ff574b81610b473bdd560c8df269af01939
Sorry.

Change-Id: If5cefd8ae563ad97c7dc0facc0999bdc740684f8