Improve php.ini-* documentation