Go to the source code of this file.
The emit_edit_number function is used to print the edit number (possibly with HTML links) on the standard output.