summaryrefslogtreecommitdiff
path: root/extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php
diff options
context:
space:
mode:
Diffstat (limited to 'extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php')
-rw-r--r--extensions/SyntaxHighlight_GeSHi/maintenance/updateCSS.php54
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;