mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-11-23 22:13:40 +00:00
63fbfa541e
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: Iede38f051529229fce7660dce7d0dba64724ee8a
64 lines
1.9 KiB
PHP
64 lines
1.9 KiB
PHP
<?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;
|