updateCSS.php

Go to the documentation of this file.

<?php
use MediaWiki\Shell\Shell;
 
$IP = getenv( 'MW_INSTALL_PATH' ) ?: __DIR__ . '/../../..';
 
require_once "$IP/maintenance/Maintenance.php";
 
class UpdateCSS extends Maintenance {
 
    public function __construct() {
        parent::__construct();
 
        $this->requireExtension( 'SyntaxHighlight' );
        $this->addDescription( 'Generate CSS code for SyntaxHighlight_GeSHi' );
    }
 
    public function execute() {
        $target = __DIR__ . '/../modules/pygments.generated.css';
        $css = "/* Stylesheet generated by updateCSS.php */\n";
 
        $result = Shell::command(
            SyntaxHighlight::getPygmentizePath(),
            '-f', 'html',
            '-S', 'default',
            '-a', '.' . SyntaxHighlight::HIGHLIGHT_CSS_CLASS
        )
            ->restrict( Shell::RESTRICT_DEFAULT | Shell::NO_NETWORK )
            ->execute();
 
        if ( $result->getExitCode() != 0 ) {
            throw new \RuntimeException( $result->getStderr() );
        }
 
        $css .= $result->getStdout();
 
        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;