Fix php:list command