diff options
| author | Dries Buytaert <dries@buytaert.net> | 2001-06-17 20:35:48 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2001-06-17 20:35:48 +0000 |
| commit | 3d73a48edcf62bed0033fcea1aebcedb23e7c197 (patch) | |
| tree | 88257dc7dcfb497e8223db6cf77b0daab05911c0 /includes/common.inc | |
| parent | 03c06a86ebb9521f0a81343e1648a87c5ea9247f (diff) | |
| download | brdo-3d73a48edcf62bed0033fcea1aebcedb23e7c197.tar.gz brdo-3d73a48edcf62bed0033fcea1aebcedb23e7c197.tar.bz2 | |
- Merged "system settings" and "module settings" into one page. IMHO
it wasn't a good idea to split them up in first place, and it turned
out to be quite hard to decide where to put some variables.
Also moved some variables around and even renamed a few variables
while doing so.
- Added a page_header() and page_footer() to all top-level .php pages.
Diffstat (limited to 'includes/common.inc')
| -rw-r--r-- | includes/common.inc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/includes/common.inc b/includes/common.inc index 54e19bd6c..ac78a5d4c 100644 --- a/includes/common.inc +++ b/includes/common.inc @@ -250,11 +250,17 @@ function timer_print() { } function page_header() { - if (variable_get("dev_timer", 0)) timer_start(); + global $user; + + if (variable_get("dev_timer", 0)) { + timer_start(); + } } function page_footer() { - if (variable_get("dev_timer", 0)) timer_print(); + if (variable_get("dev_timer", 0)) { + timer_print(); + } } $conf = conf_init(); |