cssgen2.php

Go to the documentation of this file.

<?php
require dirname(dirname(__FILE__)) . DIRECTORY_SEPARATOR . 'geshi.php';
$geshi = new GeSHi;
 
$languages = array();
if ($handle = opendir($geshi->language_path)) {
    while (($file = readdir($handle)) !== false) {
        $pos = strpos($file, '.');
        if ($pos > 0 && substr($file, $pos) == '.php') {
            $languages[] = substr($file, 0, $pos);
        }
    }
    closedir($handle);
}
sort($languages);
 
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="geshi.css"');
 
echo "/**\n".
     " * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann\n" .
     " * (http://qbnz.com/highlighter/ and http://geshi.org/)\n".
     " */\n";
 
foreach ($languages as $language) {
    $geshi->set_language($language);
    // note: the false argument is required for stylesheet generators, see API documentation
    $css = $geshi->get_stylesheet(false);
    echo preg_replace('/^\/\*\*.*?\*\//s', '', $css);
}