diff options
Diffstat (limited to 'Echo/scripts/generatecss.php')
-rw-r--r-- | Echo/scripts/generatecss.php | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Echo/scripts/generatecss.php b/Echo/scripts/generatecss.php deleted file mode 100644 index ed6496d8..00000000 --- a/Echo/scripts/generatecss.php +++ /dev/null @@ -1,28 +0,0 @@ -<?php -if ( count( $argv ) < 3 ) { - print "Call with 2 arguments: the path to the load url and the file to output to"; - exit(); -} -$loadUrl = $argv[1]; -$outputFile = $argv[2]; - -define( 'MEDIAWIKI', true ); -const NS_MAIN = 0; -$wgVersion = 1.23; -$wgSpecialPages = []; -$wgResourceModules = []; - -include "Resources.php"; - -$query = []; -$blacklist = []; -foreach ( $wgResourceModules as $moduleName => $def ) { - if ( !in_array( $moduleName, $blacklist ) ) { - $query[] = $moduleName; - } -} - -$url = $loadUrl . '?only=styles&skin=vector&modules=' . implode( $query, '|' ); -echo $url; -$css = file_get_contents( $url ); -file_put_contents( $outputFile, $css ); |