Extends phpdoc for \OCP\File\FileInfo