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
[ci skip] Revert some cosmetic changes from PR #2524, for consistency
[ci skip] Adding another cyrillic character to config/foreign_chars.php (#2509)
Merge pull request #2502 from enapupe/patch-1

Update Profiler.php to show HTTP_DNT status
Add changelog entry for PR #2502
Merge pull request #2417 from thefuzzy0ne/fix/upload_dry

Fix/upload dry
Merge pull request #2411 from Dumk0/patch-1

fix typos in Parser.php
Merge pull request #2452 from thallisphp/patch-3

Removed unused variable $name in Cache_memcached.php