More debug code on the repository for PHP5.3