Removes an unused line in ini.php.