Updated PHP Docset to version 5.4.13