Fix php docs