mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 23:44:53 +00:00
33126b69aa
In preparation of Code Sniffer based updates. Change-Id: Id5d43332b44a37665d57dc24ef8c432bc65b2f6a
29 lines
667 B
PHP
29 lines
667 B
PHP
<?php
|
|
if ( sizeof( $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 = array();
|
|
$wgResourceModules = array();
|
|
|
|
include "Resources.php";
|
|
|
|
$query = array();
|
|
$blacklist = array();
|
|
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 );
|