When clicking Disable developer modules, the following error in devel_themer_init() is shown:
Fatal error: Call to undefined function has_krumo() in .../sites/all/modules/devel/devel_themer.module on line 96
It turns out that Theme developer module is not disabled but its dependence Devel module is disabled and naturally this leads to bad things.
Along with adding disabling of Theme developer module, I propose to have a check if any of the disabled modules is dependency of some other module and refuse all disables if this is so.
Comments
Comment #1
sunMarking as duplicate of #290803: Devel toggle should include devel_themer, which has already been fixed.