* @ingroup Maintenance */ use MediaWiki\Maintenance\Maintenance; use MediaWiki\SyntaxHighlight\Pygmentize; use MediaWiki\SyntaxHighlight\PygmentsException; $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 bundled CSS for SyntaxHighlight' ); } public function execute() { $target = __DIR__ . '/../modules/pygments.generated.css'; $css = "/* Stylesheet generated by updateCSS.php */\n"; try { $output = Pygmentize::fetchGeneratedCSS(); } catch ( PygmentsException $e ) { $this->fatalError( "Error when generating CSS:\n" . $e->getMessage() ); } $css .= $output; 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::class; require_once RUN_MAINTENANCE_IF_MAIN;