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
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
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.