diff options
| author | Christian Weiske <cweiske@cweiske.de> | 2012-04-13 19:56:24 +0200 |
|---|---|---|
| committer | Christian Weiske <cweiske@cweiske.de> | 2012-04-13 19:56:24 +0200 |
| commit | d9f6b83ed6d8a4546e4119c64b639adda057d25e (patch) | |
| tree | 80e8a3077c149929072a70d71d523fd3fce929e2 /data/config.default.php | |
| parent | 09b7728bd2beca1270922a38d79498e3c4fa0456 (diff) | |
| download | phorkie-d9f6b83ed6d8a4546e4119c64b639adda057d25e.tar.gz phorkie-d9f6b83ed6d8a4546e4119c64b639adda057d25e.zip | |
first tool supported: xmllint
Diffstat (limited to 'data/config.default.php')
| -rw-r--r-- | data/config.default.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/config.default.php b/data/config.default.php index 804ff5e..443328d 100644 --- a/data/config.default.php +++ b/data/config.default.php @@ -6,6 +6,9 @@ $GLOBALS['phorkie']['cfg'] = array( 'tpl' => __DIR__ . '/templates/', 'css' => 'http://twitter.github.com/bootstrap/assets/css/bootstrap.css', ); +$GLOBALS['phorkie']['tools'] = array( + '\\phorkie\\Tool_Xmllint' +); /** * Array of supported file types / languages. * Key is the file extension |