harukin/core
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ignore case in language names and add 'js' as an alias for 'javascript'

Browse Source
This commit is contained in:
redmatrix
2016-06-15 20:25:19 -07:00
parent 427badcae9
commit 1dc35db1fe
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/text.php
View File

@@ -2884,9 +2884,11 @@ function flatten_array_recursive($arr) {
function text_highlight($s,$lang) {
if($lang === 'js')
$lang = 'javascript';
if(! strpos('Text_Highlighter',get_include_path())) {
set_include_path(get_include_path() . PATH_SEPARATOR . 'library/Text_Highlighter');
head_add_css('/library/Text_Highlighter/sample.css');
}
require_once('library/Text_Highlighter/Text/Highlighter.php');
require_once('library/Text_Highlighter/Text/Highlighter/Renderer/Html.php');