xref: /php-src/main/getopt.c (revision fc33f52d)

Error reading file