Update the comments for ini.php