Difference between revisions of "Extension/UserPreferences"

Revision as of 06:46, 13 April 2018 (view source)

Latest revision as of 14:18, 13 November 2019 (view source)

m (Text replacement - "Manual:Extension/UserPreferences" to "Manual:Preferences")

(Tag: Redirect target changed)

Line 1:		Line 1:
−	#REDIRECT [[Manual:~~Extension/UserPreferences~~]]	+	#REDIRECT [[Manual:Preferences]]