diff options
author | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 16:04:04 +0300 |
---|---|---|
committer | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 16:04:04 +0300 |
commit | a25193cc5da6a271c4676e843db80ee19221822a (patch) | |
tree | db764696f2e663016a9ab87a95846501c585b4aa /scripts/ems/web/diff.php | |
parent | 108da163745699e724f581c3d33b1e8a5e26a9e9 (diff) |
Fix a lot of lint, mostly trailing whitespace.
This is lint reported by the new lint-checking functionality in beautify.py.
(We can change to a different lint checker if we have a better one, but it
would probably still flag these same problems.)
Lint checking can help a lot, but only if we get the lint under control.
Diffstat (limited to 'scripts/ems/web/diff.php')
-rw-r--r-- | scripts/ems/web/diff.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ems/web/diff.php b/scripts/ems/web/diff.php index 71e732af1..f440d3240 100644 --- a/scripts/ems/web/diff.php +++ b/scripts/ems/web/diff.php @@ -37,7 +37,7 @@ function compute_diff($base,$change) { foreach ($all_parameters as $parameter) { if (!array_key_exists($parameter,$parameter_base)) { $parameter_base[$parameter] = ""; - } + } if (!array_key_exists($parameter,$parameter_change)) { $parameter_change[$parameter] = ""; } |