diff options
Diffstat (limited to 'data/config.default.php')
| -rw-r--r-- | data/config.default.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/data/config.default.php b/data/config.default.php index 443328d..b07f042 100644 --- a/data/config.default.php +++ b/data/config.default.php @@ -7,7 +7,8 @@ $GLOBALS['phorkie']['cfg'] = array( 'css' => 'http://twitter.github.com/bootstrap/assets/css/bootstrap.css', ); $GLOBALS['phorkie']['tools'] = array( - '\\phorkie\\Tool_Xmllint' + '\\phorkie\\Tool_Xmllint', + '\\phorkie\\Tool_PHPlint', ); /** * Array of supported file types / languages. |