Dashboard
PHP:
8.2.30
OS:
Linux
User:
dh_nv8b2m
/
/
usr
/
share
/
source-highlight
📤 Upload
📝 New File
📁 New Folder
Close
Editing: html_ref.outlang
# for html references and anchors anchor "<a name=\"$linenum\">$text</a>" postline_reference "<a href=\"$outfile#$linenum\">$text -> $infile:$linenum</a>" postdoc_reference "<a href=\"$outfile#$linenum\">$text -> $infile:$linenum</a>" reference "<a href=\"$outfile#$linenum\">$text</a>"
Save
Cancel