core/doc/html/php_2default_8php.js

var php_2default_8php =
[
    [ "if", "php_2default_8php.html#a23bc1996b18e69c1a3ab44536613a762", null ]
];