wikimedia /
mediawiki
| @@ 120-127 (lines=8) @@ | ||
| 117 | * @param string $str |
|
| 118 | * @return array|bool |
|
| 119 | */ |
|
| 120 | public function parseParamString( $str ) { |
|
| 121 | $m = false; |
|
| 122 | if ( preg_match( '/^page(\d+)-(\d+)px$/', $str, $m ) ) { |
|
| 123 | return [ 'width' => $m[2], 'page' => $m[1] ]; |
|
| 124 | } else { |
|
| 125 | return false; |
|
| 126 | } |
|
| 127 | } |
|
| 128 | ||
| 129 | /** |
|
| 130 | * @param array $params |
|
| @@ 68-75 (lines=8) @@ | ||
| 65 | return "{$width}px"; |
|
| 66 | } |
|
| 67 | ||
| 68 | public function parseParamString( $str ) { |
|
| 69 | $m = false; |
|
| 70 | if ( preg_match( '/^(\d+)px$/', $str, $m ) ) { |
|
| 71 | return [ 'width' => $m[1] ]; |
|
| 72 | } else { |
|
| 73 | return false; |
|
| 74 | } |
|
| 75 | } |
|
| 76 | ||
| 77 | function getScriptParams( $params ) { |
|
| 78 | return [ 'width' => $params['width'] ]; |
|
