Merge branch 'develop' into 1.9

2025-11-04 20:36:03 +01:00 · 2019-01-14 18:13:23 -07:00
parent fb0c2d79c2 03a0648643
commit 686fe037f6
4 changed files with 23 additions and 1 deletions
--- a/admin.php
+++ b/admin.php
@@ -929,6 +929,7 @@ class AdminPlugin extends Plugin
            'admin.statistics'    => 'boolean',
            'admin.plugins'       => 'boolean',
            'admin.themes'        => 'boolean',
+            'admin.tools'         => 'boolean',
            'admin.users'         => 'boolean',
        ];
        $admin->addPermissions($permissions);