* @ingroup Maintenance */ 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() { global $wgPygmentizePath; $target = __DIR__ . '/../modules/pygments.generated.css'; $css = "/* Stylesheet generated by updateCSS.php */\n"; $builder = new ProcessBuilder(); $builder->setPrefix( $wgPygmentizePath ); $process = $builder ->add( '-f' )->add( 'html' ) ->add( '-S' )->add( 'default' ) ->add( '-a' )->add( '.' . SyntaxHighlight_GeSHi::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;