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