correct php docs and parameter setting in Extension