Extension:GlobalPreferences

The GlobalPreferences extension allows a user to set global preferences.