diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-02-10 02:11:01 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-02-10 02:11:01 +0000 |
| commit | a9ebecb9214b1e9ab81cb63cd0bcdd3ac487d0a5 (patch) | |
| tree | c8d1a76ec739c92e78657c80a0189de6b17427de /maintenance/shell.php | |
| parent | 9d86bc57a85a0d5ec0ded47d21d1a29de3852209 (diff) | |
| parent | f38f88d0d39a69cff9a944f7e2d1848ba991291a (diff) | |
| download | mediawikicore-a9ebecb9214b1e9ab81cb63cd0bcdd3ac487d0a5.tar.gz mediawikicore-a9ebecb9214b1e9ab81cb63cd0bcdd3ac487d0a5.zip | |
Merge "resourceloader: Reduce 'implement' overhead for modules without scripts"
Diffstat (limited to 'maintenance/shell.php')
0 files changed, 0 insertions, 0 deletions