add php.ini to php docs