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

Remainder of some more undefined variables

Browse source
This commit is contained in:
Sam Reed 2011-01-23 10:35:15 +00:00
parent 79502f80f8
commit a28171f959
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets_body.php
View file

@ -204,6 +204,7 @@ class Gadget {
* @return Mixed: Instance of Gadget class or false if $definition is invalid
*/
public static function newFromDefinition( $definition ) {
$m = array();
if ( !preg_match( '/^\*+ *([a-zA-Z](?:[-_:.\w\d ]*[a-zA-Z0-9])?)(\s*\[.*?\])?\s*((\|[^|]*)+)\s*$/', $definition, $m ) ) {
return false;
}
@ -437,6 +438,7 @@ class Gadget {
$section = '';
foreach ( $g as $line ) {
$m = array();
if ( preg_match( '/^==+ *([^*:\s|]+?)\s*==+\s*$/', $line, $m ) ) {
$section = $m[1];
}