php docs changes