Merge "Remove User Preferences"
c590cd9cbad4
Actions

Authored by jenkins-bot on Feb 21 2019, 3:59 PM.

Description

Merge "Remove User Preferences"

Committed

Gerrit Code Review <gerrit@wikimedia.org>

Feb 21 2019, 3:59 PM

Parents

Branches

Unknown

Tags

Unknown

ChangeId

None

Gerrit Code Review <gerrit@wikimedia.org> committed rEBTGc590cd9cbad4: Merge "Remove User Preferences" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Feb 21 2019, 3:59 PM

	Commit			Author	Details	Committed
	1f4a76c0d18d			Hwboehm	Remove User Preferences	Feb 21 2019

				Path
	M			extension.json
	D			src/Hook
	D			src/Hook/GetPreferences
	D			src/Hook/GetPreferences/AddWidgetLimit.php
	D			src/Hook/GetPreferences/AddWidgetNS.php
	D			src/Hook/GetPreferences/AddWidgetSortOdr.php
	M			src/Panel/PagesVisited.php