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

Error reading file