init.php
Table of Contents
-
KINT_DIR
= __DIR__
-
KINT_PHP56
= ersion_compare(PHP_VERSION, '5.6') >= 0
-
KINT_PHP70
= ersion_compare(PHP_VERSION, '7.0') >= 0
-
KINT_PHP72
= ersion_compare(PHP_VERSION, '7.2') >= 0
-
KINT_PHP73
= ersion_compare(PHP_VERSION, '7.3') >= 0
-
KINT_PHP74
= ersion_compare(PHP_VERSION, '7.4') >= 0
-
KINT_WIN
= DIRECTORY_SEPARATOR !== '/'
KINT_DIR
public
mixed
KINT_DIR
= __DIR__
KINT_PHP56
public
mixed
KINT_PHP56
= ersion_compare(PHP_VERSION, '5.6') >= 0
KINT_PHP70
public
mixed
KINT_PHP70
= ersion_compare(PHP_VERSION, '7.0') >= 0
KINT_PHP72
public
mixed
KINT_PHP72
= ersion_compare(PHP_VERSION, '7.2') >= 0
KINT_PHP73
public
mixed
KINT_PHP73
= ersion_compare(PHP_VERSION, '7.3') >= 0
KINT_PHP74
public
mixed
KINT_PHP74
= ersion_compare(PHP_VERSION, '7.4') >= 0
KINT_WIN
public
mixed
KINT_WIN
= DIRECTORY_SEPARATOR !== '/'