Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  96fe463827ea47823ed20fa9c9c001f8ec097d35

Add the same indexes used for user_properties

Change-Id: I08c33e0a55444e6ffe352b0d6c117e2536db6a25