diff options
Diffstat (limited to 'extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php')
-rw-r--r-- | extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php b/extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php new file mode 100644 index 00000000..a3c0c817 --- /dev/null +++ b/extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php @@ -0,0 +1,54 @@ +<?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 KzykHys\Pygments\Pygments; + +$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'; + $pygments = new Pygments( $wgPygmentizePath ); + $css = "/* Stylesheet generated by updateCSS.php */\n"; + $css .= $pygments->getCss( 'default', '.' . SyntaxHighlight_GeSHi::HIGHLIGHT_CSS_CLASS ); + 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; |