diff --git a/htdocs/core/lib/resource.lib.php b/htdocs/core/lib/resource.lib.php index 9d66f39e34b9b..5ac16c0ae1b37 100644 --- a/htdocs/core/lib/resource.lib.php +++ b/htdocs/core/lib/resource.lib.php @@ -155,7 +155,7 @@ function resource_admin_prepare_head() * @param $resource_ids array * @return array|bool */ -function get_busy_resource_during(string $dateStart, string $dateEnd, $resource_ids = array()): array +function get_busy_resource_during(string $dateStart, string $dateEnd, $resource_ids = array()) { // MODIFIED CODE FROM htdocs/resource/element_resources.php global $db;