Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  5c45cebf5447dca1d1a608b969e5b5e9bdd865a4

Remove useful but unused helpers

Remove the following:

* assignToken script
* User class and supporting Bucket enumeration

Change-Id: Iddc2f377bca66fef9b52ea7f66d0dac8e38392dc
Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  3af4a74b3e85fae1e1b16d57ed76b5da53578d44

Prevent var undefined error in WikiGrok version B

Change-Id: I95870c2fd3ec847f640299126290946a5ed2737c