&reftitle.runtime; &extension.runtime; 名前 デフォルト 変更の可否 変更履歴 java.class.path NULL PHP_INI_ALL java.home NULL PHP_INI_ALL java.library.path NULL PHP_INI_ALL java.library JAVALIB PHP_INI_ALL &ini.php.constants;