diff options
author | Yuri Astrakhan <yurik@wikimedia.org> | 2014-07-22 01:46:16 +0300 |
---|---|---|
committer | Tim Starling <tstarling@wikimedia.org> | 2014-07-24 05:00:37 +0000 |
commit | d1d6cb7bc3a134cfd153ed7eb9fcdafa5c1fd193 (patch) | |
tree | e24a4c46e2346c31c9b5b65a92c9a4a31b20d729 /includes/title/TitleFormatter.php | |
parent | bc3d8e267e5c5fe8ce2ad5acfa8fe03e1752c4aa (diff) | |
download | mediawikicore-d1d6cb7bc3a134cfd153ed7eb9fcdafa5c1fd193.tar.gz mediawikicore-d1d6cb7bc3a134cfd153ed7eb9fcdafa5c1fd193.zip |
Allow wfShellExec() to use an array as a command prompt
Command line may now be given as an array, where each value
will be escaped and glued together with a space.
Change-Id: I9237ec1fccc60c0c4a360562db1c050a3be7e6a3
Diffstat (limited to 'includes/title/TitleFormatter.php')
0 files changed, 0 insertions, 0 deletions