%PDF- %PDF-
Direktori : /www/varak.net/wiki.varak.net/extensions/SyntaxHighlight_GeSHi/maintenance/ |
Current File : //www/varak.net/wiki.varak.net/extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.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\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;