mirror/php-dibi
1
0
Fork 0
mirror of https://github.com/dg/dibi.git synced 2025-08-05 05:37:39 +02:00
Code Issues Releases Wiki Activity

DibiProfiler: the file can be specified in a configuration

Browse Source
This commit is contained in:
David Grudl
2010-09-15 13:25:46 +02:00
parent e6e7babe22
commit c052582670
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
dibi/libs/DibiProfiler.php
View File

@@ -61,6 +61,10 @@ class DibiProfiler extends DibiObject implements IDibiProfiler, IDebugPanel
$this->useFirebug = isset($_SERVER['HTTP_USER_AGENT']) && strpos($_SERVER['HTTP_USER_AGENT'], 'FirePHP/'); $this->useFirebug = isset($_SERVER['HTTP_USER_AGENT']) && strpos($_SERVER['HTTP_USER_AGENT'], 'FirePHP/');
if (isset($config['file'])) {
$this->setFile($config['file']);
}
if (isset($config['filter'])) { if (isset($config['filter'])) {
$this->setFilter($config['filter']); $this->setFilter($config['filter']);
} }