[php] PHP: cannot declare class because the name is already in use