updateCSS.php

Go to the documentation of this file.

<?php
use Symfony\Component\Process\ProcessBuilder;
 
$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() {
        $target = __DIR__ . '/../modules/pygments.generated.css';
        $css = "/* Stylesheet generated by updateCSS.php */\n";
 
        $builder = new ProcessBuilder();
        $builder->setPrefix( SyntaxHighlight_GeSHi::getPygmentizePath() );
 
        $process = $builder
            ->add( '-f' )->add( 'html' )
            ->add( '-S' )->add( 'default' )
            ->add( '-a' )->add( '.' . SyntaxHighlight::HIGHLIGHT_CSS_CLASS )
            ->getProcess();
 
        $process->run();
 
        if ( !$process->isSuccessful() ) {
            throw new \RuntimeException( $process->getErrorOutput() );
        }
 
        $css .= $process->getOutput();
 
        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;