/** * lib/bin-scripts/xref-lint.php * * This is a lint (a tool to find potential bugs in source code) for PHP sources. * This is a web version * * @author Igor Gariev <*****@*****.**> * @copyright Copyright (c) 2013 Igor Gariev * @licence http://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0 */ $includeDir = "@php_dir@" == "@" . "php_dir@" ? dirname(__FILE__) . "/.." : "@php_dir@/XRef"; require_once "{$includeDir}/XRef.class.php"; // web-server lint script $xref = new XRef(); $xref->loadPluginGroup("lint"); $sourcePlugin = $xref->getPluginById("files"); $css = $sourcePlugin->getDefaultCSS(); $textareaContent = '// put source code here'; $report = null; $exceptionMessage = null; $formattedText = null; if (isset($_REQUEST["source"]) && $_REQUEST["source"]) { $source = get_magic_quotes_gpc() ? stripslashes($_REQUEST["source"]) : $_REQUEST["source"]; try { $parsed_file = $xref->getParsedFile("unknown.php", $source); if (count($parsed_file->getTokens()) > 1) { $lint_engine = XRef::getConfigValue("xref.project-check", true) ? new XRef_LintEngine_ProjectCheck($xref) : new XRef_LintEngine_Simple($xref); $lint_engine->addParsedFile($parsed_file); $report = $lint_engine->collectReport(); $formattedText = $sourcePlugin->getFormattedText($parsed_file, ""); } else {