📄 skipif.inc
字号:
<?php if (!extension_loaded('dba')) die('skip dba extension not available'); if (!function_exists('dba_handlers')) die ('skip dba_handlers() not available'); if (!sizeof(dba_handlers())) die('skip no handlers installed'); if (!isset($handler)) { $handlers = dba_handlers(); if (in_array('flatfile', $handlers)) { $handler = 'flatfile'; } else { $handlers = array_diff($handlers, array('cdb', 'cdb_make')); /* these can only read OR write */ if (count($handlers)==0) { die('skip no handler available that can be used for the test'); } $handler = array_shift($handlers); } } else { if (!in_array($handler, dba_handlers())) { $HND = strtoupper($handler); die("skip $HND handler not available"); } } $HND = strtoupper($handler);?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -