* @ingroup Maintenance */ 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;