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.
Somehow #2027987: Variable dev_mem should be named devel_memory was raised and fixed without anyone spotting dev_timer
alongside it.
This is the only remaining dev_
variable, and it seems sensible to rename it as well.
Comment | File | Size | Author |
---|---|---|---|
#5 | devel-timer-variable-2111127-5.patch | 2.03 KB | salvis |
|
Comments
Comment #0.0
jweowu CreditAttribution: jweowu commentedUpdated description
Comment #1
salvisI agree.
D8 first, if it still exists there.
Comment #2
pcambraNo need for D8, it's already in config and is called timer inside devel.settings
Comment #3
jacob.embree CreditAttribution: jacob.embree at St. Louis Integration commentedComment #4
jacob.embree CreditAttribution: jacob.embree at St. Louis Integration commented#3 included a change pertaining to another issue.
Comment #5
salvisThere's still something that doesn't belong here.
Here's what I'm going to commit.
Comment #7
salvisThanks, jacob.embree!