Cleanup php-senthot