Fix php general doc