use Request::int() for clipboard_id, fixes #4715

Closes #4715

Merge request studip/studip!3535

3 files changed, 3 insertions, 3 deletions

diff --git a/app/controllers/resources/messages.php b/app/controllers/resources/messages.php
index ae202e5..da3ca87 100644
--- a/app/controllers/resources/messages.php
+++ b/app/controllers/resources/messages.php
@@ -68,7 +68,7 @@ class Resources_MessagesController extends AuthenticatedController
             $this->room_selection = Request::get('room_selection');
             $this->room_ids = Request::getArray('room_ids');
             $this->selected_rooms = Room::findMany($this->room_ids);
-            $this->clipboard_id = Request::get('clipboard_id');
+            $this->clipboard_id = Request::int('clipboard_id');
 
             //First validation:
 
diff --git a/app/controllers/resources/print.php b/app/controllers/resources/print.php
index 8674fae..8118935 100644
--- a/app/controllers/resources/print.php
+++ b/app/controllers/resources/print.php
@@ -132,7 +132,7 @@ class Resources_PrintController extends AuthenticatedController
         //clipboard, the selected date and the selected schedule type.
         //Furthermore a date and the type of schedule has been selected.
         // Also check for booking types to export.
-        $this->selected_clipboard_id = Request::get('clipboard_id');
+        $this->selected_clipboard_id = Request::int('clipboard_id');
         $this->schedule_type = Request::get('schedule_type');
         $this->selected_date_string = Request::get('date');
         $this->selected_booking_types = Request::intArray('bookingtypes') ?:
diff --git a/app/controllers/resources/room_request.php b/app/controllers/resources/room_request.php
index 8cc8702..247de5c 100644
--- a/app/controllers/resources/room_request.php
+++ b/app/controllers/resources/room_request.php
@@ -1302,7 +1302,7 @@ class Resources_RoomRequestController extends AuthenticatedController
 
         $this->clipboards = Clipboard::getClipboardsForUser($this->current_user->id, ['Room']);
 
-        $this->selected_clipboard_id = Request::get('selected_clipboard_id');
+        $this->selected_clipboard_id = Request::int('selected_clipboard_id');
         if (!$this->selected_clipboard_id) {
             if (count($this->clipboards) > 0) {
                 $this->selected_clipboard_id = $this->clipboards[0]->id;