| Index: trunk/extensions/PhpHighlight/PhpHighlight.php |
| — | — | @@ -45,7 +45,7 @@ |
| 46 | 46 | global $wgPhpPath; |
| 47 | 47 | $file = tempnam( wfTempDir(), 'highlight-' ); |
| 48 | 48 | file_put_contents( $file, $text ); |
| 49 | | - $html = wfShellExec( "{$wgPhpPath} -s {$file}" ); |
| | 49 | + $html = wfShellExec( wfEscapeShellArg($wgPhpPath)." -s ".wfEscapeShellArg($file) ); |
| 50 | 50 | unlink( $file ); |
| 51 | 51 | return str_replace( '<br />', "<br />\n", $html ); |
| 52 | 52 | } |