diff options
| author | Guillaume Mazoyer <respawneral@gmail.com> | 2014-11-17 11:21:36 +0100 |
|---|---|---|
| committer | Guillaume Mazoyer <respawneral@gmail.com> | 2014-11-17 11:21:36 +0100 |
| commit | 656261727b9354fa9ecb46382888873e6eceb3a3 (patch) | |
| tree | fd72588c4db17b6a8bc088543c7dded70b6d4c3a /execute.php | |
| parent | b479270737528e13b874aa3a59a6eafa854fa093 (diff) | |
Code format. Always use () for functions.
Diffstat (limited to 'execute.php')
| -rw-r--r-- | execute.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/execute.php b/execute.php index 18c5051..a1da942 100644 --- a/execute.php +++ b/execute.php @@ -19,9 +19,9 @@ * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -require_once 'includes/config.defaults.php'; -require_once 'config.php'; -require_once 'routers/router.php'; +require_once('includes/config.defaults.php'); +require_once('config.php'); +require_once('routers/router.php'); // From where the user *really* comes from. if (isset($_SERVER['HTTP_X_FORWARDED_FOR'])) { @@ -39,7 +39,7 @@ if (!isset($_POST['dontlook']) || !empty($_POST['dontlook'])) { // Just asked for the documentation if (isset($_POST['doc']) && !empty($_POST['doc'])) { $query = htmlspecialchars($_POST['doc']); - print json_encode($config['doc'][$query]); + print(json_encode($config['doc'][$query])); } if (isset($_POST['query']) && !empty($_POST['query']) && @@ -66,7 +66,7 @@ if (isset($_POST['query']) && !empty($_POST['query']) && $data = array('error' => $error); } - print json_encode($data); + print(json_encode($data)); } // End of execute.php |