| judy_versionReturn or print the current PHP Judy version Description
   string judy_version
    ( void
   ) Return a string of the PHP Judy version. If the return value is not used, the string will be printed. ParametersThis function has no parameters. Return ValuesReturn a string of the PHP Judy version. |