public function seek($position) { hphp_recursivedirectoryiterator_seek($this, $position); }
public function seek($position) { return hphp_recursivedirectoryiterator_seek($this); }
public function seek($position) { hphp_recursivedirectoryiterator_seek($this, $position); }
public function seek($position) { return hphp_recursivedirectoryiterator_seek($this); }