diff options
| author | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2018-05-01 04:25:57 +0300 |
|---|---|---|
| committer | Maurício Meneghini Fauth <mauriciofauth@gmail.com> | 2018-05-01 04:25:57 +0300 |
| commit | 76a4b086a6cd228f33f5cd736dae198f7b9fd14c (patch) | |
| tree | 5c457d1ce9fe7ccafac14bff5b08391e8e4556b0 /test/bootstrap-dist.php | |
| parent | a4f44121aa5c0d4804fb44ee5e88261496323cb9 (diff) | |
Remove runkit dependency
Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'test/bootstrap-dist.php')
| -rw-r--r-- | test/bootstrap-dist.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/bootstrap-dist.php b/test/bootstrap-dist.php index 1c4d6eac15..cbe3289c3e 100644 --- a/test/bootstrap-dist.php +++ b/test/bootstrap-dist.php @@ -91,7 +91,3 @@ $GLOBALS['PMA_Theme'] = PhpMyAdmin\Theme::load('./themes/pmahomme'); $_SESSION['tmpval']['pftext'] = 'F'; $GLOBALS['lang'] = 'en'; $GLOBALS['PMA_Config'] = new PhpMyAdmin\Config(); - -// Check whether we have runkit extension -define('PMA_HAS_RUNKIT', function_exists('runkit_constant_redefine')); -$GLOBALS['runkit_internal_override'] = ini_get('runkit.internal_override'); |