Re: Wiki: syntax highlight

[Fredrik Lingvall]

On 03/08/12 02:17, John W. Eaton wrote:
> On  8-Mar-2012, Joanna Cheng wrote:
>
> | I don't have shell access; the right person to talk to about extension
> | installation is jwe.
>
> And you need to give me precise instructions, including URLs for where
> I can find extensions, etc.
>
> jwe
This is what I did (on our Gentoo box):

1) Download the extension: 
http://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi

2) Uncompress it in the extensions folder (the path below is for Gentoo)

 ~ # tar -xzf SyntaxHighlight_GeSHi-MW1.18-r90546.tar.gz -C 
/var/www/localhost/htdocs/mediawiki/extensions

3) Edit the  
/var/www/localhost/htdocs/mediawiki/extensions/SyntaxHighlight_GeSHi/SyntaxHighlight_GeSHi.class.php 
file

On line 270 change (to enable the dashed box):

$css[] = "\tline-height: normal; border: 0px none white;";

to

$css[] = "\tline-height: normal; border: 1px dashed #2f6fab;";


I would prefer some more space between the text and the dashed box (eg., similar 
to<pre>) but my php skills are rather limited.

/Fredrik