diff options
| author | Michael Walker <mike@barrucadu.co.uk> | 2014-09-28 22:39:20 +0000 |
|---|---|---|
| committer | Michael Walker <mike@barrucadu.co.uk> | 2014-09-28 23:06:18 +0000 |
| commit | 7c7a465966ea66d2b5ebbcf6567e7b04cbd3f9f2 (patch) | |
| tree | cb082c23cb916c50eadc8f8052c5dc8c6b3c7bf9 /inc/functions.php | |
| parent | d60fd4abf3ad5f6686713f19cf106b8ba9080609 (diff) | |
Implement syntax highlighting
Diffstat (limited to 'inc/functions.php')
| -rw-r--r-- | inc/functions.php | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/inc/functions.php b/inc/functions.php index 2e16c419..65b49b37 100644 --- a/inc/functions.php +++ b/inc/functions.php @@ -76,6 +76,7 @@ function loadConfig() { 'file_icons', 'footer', 'stylesheets', + 'code_stylesheets', 'additional_javascript', 'markup', 'custom_pages', @@ -1515,9 +1516,17 @@ function buildJavascript() { 'uri' => addslashes((!empty($uri) ? $config['uri_stylesheets'] : '') . $uri)); } + $code_stylesheets = array(); + foreach ($config['code_stylesheets'] as $name => $uri) { + $code_stylesheets[] = array( + 'name' => addslashes($name), + 'uri' => addslashes((!empty($uri) ? $config['uri_stylesheets'] : '') . $uri)); + } + $script = Element('main.js', array( 'config' => $config, - 'stylesheets' => $stylesheets + 'stylesheets' => $stylesheets, + 'code_stylesheets' => $code_stylesheets )); // Check if we have translation for the javascripts; if yes, we add it to additional javascripts |