diff options
Diffstat (limited to 'doc/html/permissions_8php.js')
| -rw-r--r-- | doc/html/permissions_8php.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/html/permissions_8php.js b/doc/html/permissions_8php.js deleted file mode 100644 index 824057ac6..000000000 --- a/doc/html/permissions_8php.js +++ /dev/null @@ -1,10 +0,0 @@ -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 ], - [ "get_role_perms", "permissions_8php.html#a9b5f5120566a3699a98efc5ccb0c59fe", null ], - [ "get_roles", "permissions_8php.html#a6b239a0d494b92a89ce7bf9c7e588991", null ], - [ "perm_is_allowed", "permissions_8php.html#a67ada9ed51e77885b6b0f6a28cee1835", null ], - [ "site_default_perms", "permissions_8php.html#aa8b7b102c653649d7a71b5a1c044d90d", null ] -];
\ No newline at end of file |