Support for Drupal 7 is ending on 5 January 2025—it’s time to migrate to Drupal 10! Learn about the many benefits of Drupal 10 and find migration tools in our resource center.
The last checkboxes on the configuration page will not stay checked after saving the configuration. However, the options I selected are actually respected. It looks like the configuration is actually saved, because the modules are kept enabled when I choose to disable developer modules, but those selections are not displayed on the configuration page.
Comment | File | Size | Author |
---|---|---|---|
#1 | admin_menu.devel-modules-skip.1.patch | 715 bytes | sun |
Comments
Comment #1
sunThanks for reporting, reviewing, and testing! Committed attached patch.
A new development snapshot will be available within the next 12 hours. This improvement will be available in the next official release.