Fixed bug with PHP not finding time zone data, and update humans and robots files