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
The script is halted and a '500 Internal Server Error' is issued when a fatal error occurs.

Signed-off-by: Jesse van Assen <jesse.v.assen@gmail.com>
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.
PHPUnit & Travis failures due to new version of vfsStream.
Merge pull request #2526 from cryode/bug/vfsstream

Fix PHPUnit & Travis failures due to new version of vfsStream.