update _ide_helper.php