[support] Devel module - how to turn off page execution time?

[Earnie Boyd]

Quoting Jody Cleveland <cleveland at winnefox.org>:

> Hello,
>
> I've got a Drupal 5.1 site running with the latest version of the Devel
> module. Just for grins, I decided to check the box to show page execution
> time. Now, every page I go to only displays the execution time, nothing
> else. Since I can't get to the module settings through the site, how do I
> manually turn that feature off?
>

There would be a variable in the variables table to control the feature 
value.  I'm not sure where the feature is; can you remember enough to 
point?

Earnie