Updated mediawiki/extensions
Project: mediawiki/extensions/SocialProfile  dc80875bcd5163db538f70306b0cfb35a312865d

Add user_points SQL files into SocialProfile

(Not sure why they were in RandomFeaturedUser).

Added 3 SQL files, plus the DB schema update hook entries. I've tried to
add PostreSQL files too.

Bug: 44607
Change-Id: Idacaff9d946bf6590338a4c9c0ed97aae24af32b