= 5.1.0 && < 5.2.6 return (PHP_MAJOR_VERSION==5) && (PHP_MINOR_VERSION==1 || (PHP_MINOR_VERSION==2 && PHP_RELEASE_VERSION<6)); } return false; } function skip_without_bug($bugid) { if (!has_bug($bugid)) { die('skip Only for bug #'.$bugid); } } function skip_with_bug($bugid) { if (has_bug($bugid)) { die('skip Not for bug #'.$bugid); } } ?>