From aba1629f317c5fc5669afa792955956c57626a15 Mon Sep 17 00:00:00 2001
From: Tobias Reich <tobias.reich.ich@gmail.com>
Date: Thu, 17 Mar 2016 09:28:31 +0100
Subject: [PATCH] Syntax adjustments #488

---
 php/helpers/getExtension.php | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/php/helpers/getExtension.php b/php/helpers/getExtension.php
index d8df170..180a853 100644
--- a/php/helpers/getExtension.php
+++ b/php/helpers/getExtension.php
@@ -1,18 +1,20 @@
 <?php
 
-# Returns the extension of the filename (path or URI) or an empty string
+/**
+ * Returns the extension of the filename (path or URI) or an empty string.
+ * @return string Extension of the filename starting with a dot.
+ */
 function getExtension($filename, $isURI = false) {
 
-    # If $filename is an URI, get only the path component
-    if ($isURI)
-        $filename = parse_url($filename, PHP_URL_PATH);
+	// If $filename is an URI, get only the path component
+	if ($isURI===true) $filename = parse_url($filename, PHP_URL_PATH);
 
 	$extension = pathinfo($filename, PATHINFO_EXTENSION);
 
-    if (!empty($extension))
-        $extension = '.' . $extension;
+	if (empty($extension)===false) $extension = '.' . $extension;
 
 	return $extension;
+
 }
 
 ?>
\ No newline at end of file