diff options
Diffstat (limited to 'doc/html/admin_8php.js')
| -rw-r--r-- | doc/html/admin_8php.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/html/admin_8php.js b/doc/html/admin_8php.js index 15b1b3522..5b818c41d 100644 --- a/doc/html/admin_8php.js +++ b/doc/html/admin_8php.js @@ -9,6 +9,8 @@ var admin_8php = [ "admin_page_logs", "admin_8php.html#a1d1362698af14d209aa3a0fb655551dd", null ], [ "admin_page_logs_post", "admin_8php.html#a233b7c8c31776b7020532003c6e44e1c", null ], [ "admin_page_plugins", "admin_8php.html#a54128076986ba80c4a103de3fc3e19a8", null ], + [ "admin_page_profs", "admin_8php.html#a3deba594ca1e11694eac1de0b724ef0a", null ], + [ "admin_page_profs_post", "admin_8php.html#a278289bc6d45f6f2a272a7ab6a1d1057", null ], [ "admin_page_site", "admin_8php.html#ac0f3bd12431c056aad77bac9d09fa30e", null ], [ "admin_page_site_post", "admin_8php.html#add865f4ae806ecbf716f423fc3e50e4f", null ], [ "admin_page_summary", "admin_8php.html#ac6e95b920b5abd030cc522964987087a", null ], |