* @ingroup Maintenance */ use KzykHys\Pygments\Pygments; $IP = getenv( 'MW_INSTALL_PATH' ) ?: __DIR__ . '/../../..'; require_once "$IP/maintenance/Maintenance.php"; class UpdateCSS extends Maintenance { public function __construct() { parent::__construct(); $this->addDescription( 'Generate CSS code for SyntaxHighlight_GeSHi' ); } public function execute() { global $wgPygmentizePath; $target = __DIR__ . '/../modules/pygments.generated.css'; $pygments = new Pygments( $wgPygmentizePath ); $css = "/* Stylesheet generated by updateCSS.php */\n"; $css .= $pygments->getCss( 'default', '.' . SyntaxHighlight_GeSHi::HIGHLIGHT_CSS_CLASS ); if ( file_put_contents( $target, $css ) === false ) { $this->output( "Failed to write to {$target}\n" ); } else { $this->output( 'CSS written to ' . realpath( $target ) . "\n" ); } } } $maintClass = "UpdateCSS"; require_once RUN_MAINTENANCE_IF_MAIN;