Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalPreferences  7ddfcb7a31d27824f64b71775955253f808eb658

Add GlobalPreferences.alias.php

Change-Id: Ica42f40e302b1f0c6a673dc6210a2ca5e498603c