diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-02-11 00:09:29 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-02-11 00:09:29 +0000 |
commit | 85e613af8a5bd4732be443e39f67e7b3ea383c9d (patch) | |
tree | 488df005b9c5112e39c5343ab8d8f738cc00a224 /includes/api/ApiQuerySearch.php | |
parent | 6184837028e179d476021599c9b1d8c9b1ab14a2 (diff) | |
parent | 354848b0cd7d9a1c9d50e224af1be02b17257878 (diff) | |
download | mediawikicore-85e613af8a5bd4732be443e39f67e7b3ea383c9d.tar.gz mediawikicore-85e613af8a5bd4732be443e39f67e7b3ea383c9d.zip |
Merge "maintenance: Mark some closures as static"
Diffstat (limited to 'includes/api/ApiQuerySearch.php')
0 files changed, 0 insertions, 0 deletions