Update user_agents.php

Added the PS Vita User Agent to the list.
Made set_error() method DRY.
Reverted indenting spaces back to tabs.

(My fault - Sorry!)
fix typos in Parser.php
The date_range() function is a bit broken
Neither $unix_time nor $start_date were defined here

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
It looks like this should be $alter_type here

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
$element not $focus there
and you can't have required params after an optional one

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
Required arg in between optional ones

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
Required args after optional ones

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
values_parsing() only takes 1 arg

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
highlight_code() doesn't take an ENT_QUOTES arg

Signed-off-by: Rasmus Lerdorf <rasmus@php.net>
Removed unused variable $name in Cache_memcached.php
Update Profiler.php to show HTTP_DNT status

show do not track header status
Optimize Change Log, add entry for 2.1.4
Upgrade notes for 2.1.4
Update Downloads page

Even though it's useless right now...
Update GitHub "tags" link to new Releases feature.
Merge branch 'refs/heads/develop' into update/changelog

Conflicts:
	user_guide_src/source/changelog.rst
	user_guide_src/source/installation/downloads.rst
	user_guide_src/source/installation/upgrade_214.rst
Merge doc changes; small related updates.
Merge pull request #2524 from cryode/update/changelog

Fix & Update Change Log; add 2.1.4 info where necessary.