diff --git a/admin/settings/top.php b/admin/settings/top.php
index 4c1295e..f8710b6 100644
--- a/admin/settings/top.php
+++ b/admin/settings/top.php
@@ -39,7 +39,7 @@ $ADMIN->add('root', new admin_category('frontpage', new lang_string('frontpage',
 $ADMIN->add('root', new admin_category('server', new lang_string('server','admin')));
 $ADMIN->add('root', new admin_category('mnet', new lang_string('net','mnet'), (isset($CFG->mnet_dispatcher_mode) and $CFG->mnet_dispatcher_mode === 'off')));
 $ADMIN->add('root', new admin_category('reports', new lang_string('reports')));
-$ADMIN->add('root', new admin_category('development', new lang_string('development', 'admin')));
+$ADMIN->add('root', new admin_category('development', new lang_string('development', 'admin'), !(debugging('', DEBUG_DEVELOPER))));
 
 // hidden unsupported category
 $ADMIN->add('root', new admin_category('unsupported', new lang_string('unsupported', 'admin'), true));