Add newline end of file

2020-03-30 10:36:49 +02:00
parent 076caa11ab
commit 3eda785ca5
1 changed files with 1 additions and 1 deletions
--- a/htdocs/core/lib/functions.lib.php
+++ b/htdocs/core/lib/functions.lib.php
@@ -7964,4 +7964,4 @@ function newToken()
 function currentToken()
 {
 	return $_SESSION['token'];
-}
+}