From fc0439baed31408cd3cc650dfbef508d986e1b9e Mon Sep 17 00:00:00 2001
From: Justus Dieckmann <justusdieckmann@wwu.de>
Date: Mon, 13 Apr 2020 21:12:17 +0200
Subject: [PATCH] Use integer division

---
 classes/data_controller.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/classes/data_controller.php b/classes/data_controller.php
index 5e860e8..20da493 100644
--- a/classes/data_controller.php
+++ b/classes/data_controller.php
@@ -73,7 +73,7 @@ class data_controller extends \core_customfield\data_controller {
         $showmonthsintofuture = $this->get_field()->get_configdata_property('showmonthsintofuture');
         $endtime = new DateTime("+$showmonthsintofuture months");
         $endkey = self::get_semester_for_datetime($endtime);
-        $endyear = $endkey / 10;
+        $endyear = intdiv($endkey, 10);
         $endsemester = $endkey % 10;
 
         $beginofsemesters = $this->get_field()->get_configdata_property('beginofsemesters');
@@ -139,7 +139,7 @@ class data_controller extends \core_customfield\data_controller {
         } else if ($value == null) {
             return null;
         } else {
-            $year = $value / 10;
+            $year = intdiv($value, 10);
             $semester = $value % 10;
             if ($semester === 0) {
                 return get_string('summersemester', 'customfield_semester') . ' ' . $year;
-- 
GitLab