Delete the cache of phpdoc