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.
Fix Travis tests
Fixing incorect references for time zones
Merge pull request #2530 from AdwinTrave/develop

Fixing incorrect references for time zones in documentation