+ PHP_FE_END definition for old PHP