src/config/ide_compat.php export-ignore
