diff options
author | Phil Davis <phil.davis@inf.org> | 2015-06-15 14:19:11 +0545 |
---|---|---|
committer | Phil Davis <phil.davis@inf.org> | 2015-06-15 14:19:11 +0545 |
commit | 6c07db487164262f9191ad02805523bd153e0ba6 (patch) | |
tree | 0c266356179ac730233a16c0e3767a0c22514c4d /usr/local/www/edit.php | |
parent | 67d9685607eef7c679fda929ad4855be1b2f9dec (diff) | |
download | pfsense-6c07db487164262f9191ad02805523bd153e0ba6.zip pfsense-6c07db487164262f9191ad02805523bd153e0ba6.tar.gz |
Code spacing
and other random stuff I noticed.
I think this finishes messing with code style. The codebase should match
the developer style guide closely enough that 99.9% of changes will not
feel the need to also massage the formatting.
Diffstat (limited to 'usr/local/www/edit.php')
-rw-r--r-- | usr/local/www/edit.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/usr/local/www/edit.php b/usr/local/www/edit.php index 7a78974..481b2ce 100644 --- a/usr/local/www/edit.php +++ b/usr/local/www/edit.php @@ -49,7 +49,7 @@ if ($_POST['action']) { echo "|5|" . gettext("No file name specified") . ".|"; } elseif (is_dir($_POST['file'])) { echo "|4|" . gettext("Loading a directory is not supported") . ".|"; - } elseif (! is_file($_POST['file'])) { + } elseif (!is_file($_POST['file'])) { echo "|3|" . gettext("File does not exist or is not a regular file") . ".|"; } else { $data = file_get_contents(urldecode($_POST['file'])); @@ -129,11 +129,11 @@ outputJavaScriptFileInline("javascript/base64.js"); if (file.indexOf(".php") > 0) lang = "php"; else if (file.indexOf(".inc") > 0) lang = "php"; else if (file.indexOf(".xml") > 0) lang = "xml"; - else if (file.indexOf(".js" ) > 0) lang = "js"; + else if (file.indexOf(".js") > 0) lang = "js"; else if (file.indexOf(".css") > 0) lang = "css"; if (jQuery("#highlight").checked && lang != "none") { - jQuery("fileContent").prop("className",lang + ":showcolumns"); + jQuery("fileContent").prop("className", lang + ":showcolumns"); dp.SyntaxHighlighter.HighlightAll("fileContent", true, false); } } else { @@ -148,7 +148,7 @@ outputJavaScriptFileInline("javascript/base64.js"); jQuery("#fileStatusBox").show(500); var fileContent = Base64.encode(jQuery("#fileContent").val()); - fileContent = fileContent.replace(/\+/g,"%2B"); + fileContent = fileContent.replace(/\+/g, "%2B"); jQuery.ajax( "<?=$_SERVER['SCRIPT_NAME'];?>", { |