Issue #2723209 by andrewmacpherson, colan, mattshoaf: Enabling admin_toolbar_tools causes Devel Settings to disappear from the main configuration page