Applied fixes from FlintCI

7 years ago · ae7e6ec596
parent acd521bd5d
commit ae7e6ec596
1 changed files with 1 additions and 1 deletions
--- a/main/document/document.php
+++ b/main/document/document.php
@ -1516,7 +1516,7 @@ if ($isAllowedToEdit ||
 // END ACTION MENU
 // Attach certificate in the gradebook
 if (isset($_GET['curdirpath']) &&
-    strpos($_GET['curdirpath'],'/certificates') !== false &&
+    strpos($_GET['curdirpath'], '/certificates') !== false &&
    isset($_GET['set_certificate']) &&
    $_GET['set_certificate'] == strval(intval($_GET['set_certificate']))
 ) {