Fixes #3823. More carefully casting to int for file's search.

diff --git a/mod/file/pages/file/search.php b/mod/file/pages/file/search.php
index 569657fd4d152b60e1bccd6cfc5466ec1d6c4f13..402a289331e99b3eabe2514e44ad1ef56dd1a814 100644 (file)
--- a/mod/file/pages/file/search.php
+++ b/mod/file/pages/file/search.php
@@ -5,7 +5,12 @@
  * @package ElggFile
  */
 
-$page_owner_guid = (int)get_input('page_owner', null);
+$page_owner_guid = get_input('page_owner', null);
+
+if ($page_owner_guid !== null) {
+       $page_owner_guid = sanitise_int($page_owner_guid);
+}
+
 if ($page_owner_guid) {
        elgg_set_page_owner_guid($page_owner_guid);
 }