diff options
Diffstat (limited to 'doc/old/html/permissions_8php.js')
| -rw-r--r-- | doc/old/html/permissions_8php.js | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/old/html/permissions_8php.js b/doc/old/html/permissions_8php.js new file mode 100644 index 000000000..49747cfd8 --- /dev/null +++ b/doc/old/html/permissions_8php.js @@ -0,0 +1,8 @@ +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 ], + [ "site_default_perms", "permissions_8php.html#aa8b7b102c653649d7a71b5a1c044d90d", null ] +];
\ No newline at end of file |