Make comments in /src/script doxygen compatible
Merge pull request #5252

b9a36b1 Make comments in /src/script doxygen compatible (Michael Ford)