1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
<?php /** @generate-class-entries */ class Directory { /** * @return void * @implementation-alias closedir */ public function close() {} /** * @return void * @implementation-alias rewinddir */ public function rewind() {} /** * @return string|false * @implementation-alias readdir */ public function read() {} }