strlen($_REQUEST['data'])) {
echo "|Error while writing file.|";
} else {
echo "|File successfully saved.|";
}
}
exit;
}
exit;
}
require("head.inc");
outputCSSFileInline("code-syntax-highlighter/SyntaxHighlighter.css");
outputJavaScriptFileInline("filebrowser/browser.js");
?>