wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 18:49:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use normal line numbers

Browse source 
'Fancy' line numbers are a fairly useless feature, not seen
in any other code highlighter. As the extension doesn't let you
choose a line number mode, default to normal.

Bug: T101602
Change-Id: Iccbd3ba6c91c58b0ea0f0c09832f1422936cd475
This commit is contained in:
Ed Sanders 2015-06-09 16:02:18 +01:00
parent 2794062be2
commit 28ff155a6c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SyntaxHighlight_GeSHi.class.php
View file

@ -102,7 +102,7 @@ class SyntaxHighlight_GeSHi {
// Line numbers
if ( isset( $args['line'] ) ) {
$geshi->enable_line_numbers( GESHI_FANCY_LINE_NUMBERS );
$geshi->enable_line_numbers( GESHI_NORMAL_LINE_NUMBERS );
}
// Highlighting specific lines
if ( isset( $args['highlight'] ) ) {