Continued:

[core.git] / framework / main / classes / file_directories / input / text / class_FrameworkTextFileInputPointer.php

diff --git a/framework/main/classes/file_directories/input/text/class_FrameworkTextFileInputPointer.php b/framework/main/classes/file_directories/input/text/class_FrameworkTextFileInputPointer.php
index 03de7f424128a0f9f0906ea3104a1cf410dfc5e0..642e555fef2a9d2454019e0875ed2668b5c1d1af 100644 (file)
--- a/framework/main/classes/file_directories/input/text/class_FrameworkTextFileInputPointer.php
+++ b/framework/main/classes/file_directories/input/text/class_FrameworkTextFileInputPointer.php
@@ -120,7 +120,7 @@ class FrameworkTextFileInputPointer extends BaseFileIo implements InputPointer {
         * @throws      NullPointerException    If the file pointer instance is not set by setFileObject()
         * @throws      InvalidResourceException        If there is no object being set
         */
-       public function read ($bytes = NULL) {
+       public function read (int $bytes = NULL) {
                // Some sanity checks
                if (is_null($this->getFileObject())) {
                        // Pointer not initialized