* PHP-7.2:
Add missing SKIPIFs
--TEST--
Bug #73789 (Strange behavior of class constants in switch/case block)
--SKIPIF--
+ <?php require_once('skipif.inc'); ?>
+<?php if (!extension_loaded('ctype')) die('skip extension ctype not loaded'); ?>
--FILE--
<?php
class Lexer
opcache.enabled=1
opcache.enable_cli=1
opcache.file_cache={TMP}
+ --SKIPIF--
+ <?php require_once('skipif.inc'); ?>
--FILE--
<?php
-
if (PHP_VERSION_ID >= 70000) {
echo "Done";
return;