DokuWiki

It's better when it's simple

User Tools

Site Tools


tips:geshi_style_builder

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
tips:geshi_style_builder [2014-02-15 10:48]
andi
tips:geshi_style_builder [2014-02-15 11:24] (current)
andi
Line 5: Line 5:
 <code php cssbuild.php> <code php cssbuild.php>
 <?php <?php
 +error_reporting(0);
 /** /**
  * Automatically build CSS stylesheet definitions from GeSHi files  * Automatically build CSS stylesheet definitions from GeSHi files
Line 72: Line 73:
     }     }
 } }
- 
  
  
Line 78: Line 78:
 function classname($name){ function classname($name){
     $name = str_replace('KEYWORDS','kw',$name);     $name = str_replace('KEYWORDS','kw',$name);
 +    $name = str_replace('COMMENTSHARD','co_h',$name);
     $name = str_replace('COMMENTS','co',$name);     $name = str_replace('COMMENTS','co',$name);
     $name = str_replace('BRACKETS','br',$name);     $name = str_replace('BRACKETS','br',$name);
     $name = str_replace('ESCAPE_CHAR','es',$name);     $name = str_replace('ESCAPE_CHAR','es',$name);
 +    $name = str_replace('STRINGSHARD','st_h',$name);
     $name = str_replace('STRINGS','st',$name);     $name = str_replace('STRINGS','st',$name);
     $name = str_replace('NUMBERS','nu',$name);     $name = str_replace('NUMBERS','nu',$name);
tips/geshi_style_builder.txt ยท Last modified: 2014-02-15 11:24 by andi