diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-12-19 00:05:45 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-12-19 00:05:45 +0000 |
| commit | 3e07889c706cde00aea218379120574b49d7a326 (patch) | |
| tree | 01567fc344c3b62fd0df24340df929e3602c4f75 /phpunit.xml.dist | |
| parent | f845bb04b6d22d92643b9ac8e4b33035e575dddc (diff) | |
| parent | a778d3fea727e80cfa47aa57c98438d9f527a85a (diff) | |
| download | mediawikicore-3e07889c706cde00aea218379120574b49d7a326.tar.gz mediawikicore-3e07889c706cde00aea218379120574b49d7a326.zip | |
Merge "Inline once-called short private methods to its caller, part 1"
Diffstat (limited to 'phpunit.xml.dist')
0 files changed, 0 insertions, 0 deletions