mirror of
https://codeberg.org/icewind/streams.git
synced 2026-06-03 16:44:07 +02:00
some extra type checks
This commit is contained in:
parent
bd77a24550
commit
782e09ec62
8 changed files with 24 additions and 13 deletions
|
|
@ -19,7 +19,7 @@ interface Directory {
|
|||
public function dir_opendir($path, $options);
|
||||
|
||||
/**
|
||||
* @return string
|
||||
* @return string|bool
|
||||
*/
|
||||
public function dir_readdir();
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue