wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Gadgets: refactored [options] parsing in preparation for adding moar

Browse source
This commit is contained in:
Max Semenik 2011-04-02 16:02:53 +00:00
parent 5c03dc8ff7
commit 2700695760
1 changed files with 17 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
Gadgets_body.php
View file

@ -209,16 +209,23 @@ class Gadget {
$gadget = new Gadget();
$gadget->name = trim( str_replace(' ', '_', $m[1] ) );
$gadget->definition = $definition;
$params = trim( $m[2], ' []' );
foreach ( preg_split( '/\s*\|\s*/', $params, -1, PREG_SPLIT_NO_EMPTY ) as $option ) {
if ( $option == 'ResourceLoader' ) {
$gadget->resourceLoaded = true;
} elseif ( preg_match( '/dependencies\s*=/', $option ) ) {
$option = preg_replace( '/dependencies\s*=\s*/', '', $option );
$deps = preg_split( '/\s*,\s*/', $option, -1, PREG_SPLIT_NO_EMPTY );
if ( $deps ) {
$gadget->dependencies = $deps;
}
$options = trim( $m[2], ' []' );
foreach ( preg_split( '/\s*\|\s*/', $options, -1, PREG_SPLIT_NO_EMPTY ) as $option ) {
$arr = preg_split( '/\s*=\s*/', $option, 2 );
$option = $arr[0];
if ( isset( $arr[1] ) ) {
$params = explode( ',', $arr[1] );
$params = array_map( 'trim', $params );
} else {
$params = array();
}
switch ( $option ) {
case 'ResourceLoader':
$gadget->resourceLoaded = true;
break;
case 'dependencies':
$gadget->dependencies = $params;
break;
}
}
foreach ( preg_split( '/\s*\|\s*/', $m[3], -1, PREG_SPLIT_NO_EMPTY ) as $page ) {