1.2.1538. ext/judy¶
The Judy extension.
PHP Judy is a PECL extension for the Judy C library implementing dynamic sparse arrays.
<?php
$judy = new Judy(Judy::BITSET);
if ($judy->getType() === judy_type($judy) &&
$judy->getType() === Judy::BITSET) {
echo 'Judy BITSET type OK'.PHP_EOL;
} else {
echo 'Judy BITSET type check fail'.PHP_EOL;
}
unset($judy);
?>
See also php-judy.
1.2.1538.1. Specs¶
Short name |
Extensions/Extjudy |
Rulesets |
|
Exakat since |
0.11.6 |
PHP Version |
All |
Severity |
|
Time To Fix |
|
Precision |
Very high |
Available in |