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
Issue #2508
Changed the smiley zip file download to reflect the new location at the
ellislab.com domain from the codeigniter.com domain.
Merge pull request #2511 from stevencrothers/develop

Changed the smiley zip file download to reflect the new location at the
[ci skip] Alter a link in the changelog
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