Extension:PreferencesExtension

From mediawiki.org