Bug#1126616: /usr/share/man/man3/fgets.3.gz: fgets(3) function signature is messed up

[Amal Irfan]

"The same error also exists in `fgetc.3`, `getchar.3`, and `ungetc.3`."

By that I mean those manpages also have the lines

        char *fgets(int size;
                    char s[restrict size], int size, FILE *restrict stream);

in them.