From 921ab62d18fe7c665fb09d2405d9b81bda8cd897 Mon Sep 17 00:00:00 2001 From: codinghuang <2812240764@qq.com> Date: Sat, 1 Jun 2019 20:39:11 +0800 Subject: [PATCH] Delete the useless file --- study.php | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 study.php diff --git a/study.php b/study.php deleted file mode 100644 index fd9cc1b..0000000 --- a/study.php +++ /dev/null @@ -1,21 +0,0 @@ -"; - -if(!extension_loaded('study')) { - dl('study.' . PHP_SHLIB_SUFFIX); -} -$module = 'study'; -$functions = get_extension_funcs($module); -echo "Functions available in the test extension:$br\n"; -foreach($functions as $func) { - echo $func."$br\n"; -} -echo "$br\n"; -$function = 'confirm_' . $module . '_compiled'; -if (extension_loaded($module)) { - $str = $function($module); -} else { - $str = "Module $module is not compiled into PHP"; -} -echo "$str\n"; -?> -- GitLab