PHP-Handbuch Funktionsreferenz Sonstige Grunderweiterungen Judy Judy Funktionen Judy::size judy_type Judy Funktionen Inhaltsverzeichnisjudy_type — Return the type of a Judy arrayjudy_version — Return or print the current PHP Judy version