From 57c1ba985ca9b0f475679f15ac0c8d738441cd51 Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 7 Nov 2018 15:24:27 +0100
Subject: [PATCH] Minor - fix php warning

---
 plugin/customcertificate/config.php    | 1 +
 plugin/customcertificate/src/index.php | 8 +++++---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/plugin/customcertificate/config.php b/plugin/customcertificate/config.php
index 4177cc3257..c27e283637 100644
--- a/plugin/customcertificate/config.php
+++ b/plugin/customcertificate/config.php
@@ -1,5 +1,6 @@
 <?php
 /* For licensing terms, see /license.txt */
+
 /**
  * Config the plugin.
  *
diff --git a/plugin/customcertificate/src/index.php b/plugin/customcertificate/src/index.php
index f68a8bec93..2aa9e4486f 100644
--- a/plugin/customcertificate/src/index.php
+++ b/plugin/customcertificate/src/index.php
@@ -1,7 +1,9 @@
 <?php
 /* For licensing terms, see /license.txt */
 
-if (intval($_GET['default']) == 1) {
+$isDefault = isset($_GET['default']) ? (int) $_GET['default'] : null;
+
+if ($isDefault === 1) {
     $cidReset = true;
 }
 
@@ -17,7 +19,7 @@ $enable = $plugin->get('enable_plugin_customcertificate') == 'true';
 $accessUrlId = api_get_current_access_url_id();
 $course_info = api_get_course_info();
 
-if (intval($_GET['default']) == 1) {
+if ($isDefault === 1) {
     $courseId = 0;
     $courseCode = '';
     $sessionId = 0;
@@ -245,7 +247,7 @@ $dir = '/';
 $courseInfo = api_get_course_info();
 $isAllowedToEdit = api_is_allowed_to_edit(null, true);
 $editorConfig = [
-    'ToolbarSet' => ($isAllowedToEdit ? 'Documents' : 'DocumentsStudent'),
+    'ToolbarSet' => $isAllowedToEdit ? 'Documents' : 'DocumentsStudent',
     'Width' => '100%',
     'Height' => '300',
     'cols-size' => [0, 12, 0],