diff options
Diffstat (limited to 'doc/html/permissions_8php.js')
| -rw-r--r-- | doc/html/permissions_8php.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/html/permissions_8php.js b/doc/html/permissions_8php.js new file mode 100644 index 000000000..a05203458 --- /dev/null +++ b/doc/html/permissions_8php.js @@ -0,0 +1,7 @@ +var permissions_8php = +[ + [ "check_list_permissions", "permissions_8php.html#a0f5bd9f7f4c8fb7ba4b2c1ed048b4dc7", null ], + [ "get_all_perms", "permissions_8php.html#aeca9b280f3dc3358c89976d81d690008", null ], + [ "get_perms", "permissions_8php.html#a040fd3d3b8517658b1668ae0cd093972", null ], + [ "perm_is_allowed", "permissions_8php.html#a67ada9ed51e77885b6b0f6a28cee1835", null ] +];
\ No newline at end of file |