mediawiki-extensions-Syntax.../maintenance/updateCSS.php

64 lines
1.9 KiB
PHP
Raw Normal View History

<?php
/**
* Script to update Pygments CSS
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @file
* @author Ori Livneh <ori@wikimedia.org>
* @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;