diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-07-25 01:52:54 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-07-25 01:52:54 +0000 |
| commit | 386836d565df1fc4a7df5728bc75182b470fed0c (patch) | |
| tree | ef062e581b58ca2ad6037a6452f5f55843c43ee9 /tests/phpunit/includes/diff | |
| parent | 846ab533a32cd4df9140633ebcb0db8292097eee (diff) | |
| parent | 420f22226656594f7af7a5c113ebf970ae6adcc8 (diff) | |
| download | mediawikicore-386836d565df1fc4a7df5728bc75182b470fed0c.tar.gz mediawikicore-386836d565df1fc4a7df5728bc75182b470fed0c.zip | |
Merge "Make Shell::makeScriptCommand use run.php"
Diffstat (limited to 'tests/phpunit/includes/diff')
0 files changed, 0 insertions, 0 deletions