generated _ide_helper.php