Merge origin/master

Conflicts:
	web/portal.php