diff options
| author | daniel <dkinzler@wikimedia.org> | 2023-07-05 14:38:04 +0200 |
|---|---|---|
| committer | Tim Starling <tstarling@wikimedia.org> | 2023-07-25 01:35:59 +0000 |
| commit | 420f22226656594f7af7a5c113ebf970ae6adcc8 (patch) | |
| tree | c2d5bef3d876686841dff22de968fbe5edaf29a2 /tests/phpunit/includes/diff/CustomDifferenceEngine.php | |
| parent | 073e1a6b0b6b71a40936c6189fe32d041838ea72 (diff) | |
| download | mediawikicore-420f22226656594f7af7a5c113ebf970ae6adcc8.tar.gz mediawikicore-420f22226656594f7af7a5c113ebf970ae6adcc8.zip | |
Make Shell::makeScriptCommand use run.php
This makes makeScriptCommand wrap all callers in run.php
Change-Id: If041beb6d4b6b3555e0c200a3d5088a94c198349
Diffstat (limited to 'tests/phpunit/includes/diff/CustomDifferenceEngine.php')
0 files changed, 0 insertions, 0 deletions