mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-11-15 02:24:07 +00:00
45e3085a59
Remove the GeSHi name from filenames and classes where possible. We no longer actually use GeSHi, and though we cannot rename the extension or repo atm, we can rename these. Bug: T164939 Change-Id: I02bc3304d88103c5302f203e788fc73ff20e1050
71 lines
2 KiB
PHP
71 lines
2 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 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::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;
|