diff --git a/devel.module b/devel.module index 3bc58231c987581a494739087afe615606cbf613..39162002ab29f7d0939b03d2591a5cda0088e69f 100644 --- a/devel.module +++ b/devel.module @@ -51,7 +51,7 @@ function devel_system($field) { return $system[$field]; } -function devel_conf_options() { +function devel_settings() { $output = form_select(t("Display query log"), "dev_query", variable_get("dev_query", 1), array(t("Disabled"), t("Enabled")), t("Display a log of the database queries needed to generate the current page, the and the execution time for each. Also, a queries which are repeated during a single page view are summed in the # column, and printed in red since they are candidates for caching.")); $output .= form_textfield("Query execution threshhold", "devel_execution", variable_get("devel_execution", 5), 4, 4, t("Enter an integer in milliseconds. Any query which takes longer than this many milliseconds will be highlighted in the query log. This indicates a possibliy inefficient query, or a candidate for caching.")); return $output;