diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-02-11 00:09:43 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-02-11 00:09:43 +0000 |
| commit | 077b84664db0fa866abfd44c03b650e0048a3db8 (patch) | |
| tree | 17e4890fa3f39e603799d2ee25cda6747ed61d62 /includes/user/CentralIdLookup.php | |
| parent | a1433548702aa200c9defb52fa93497e4c281f3e (diff) | |
| parent | f0a950703cd412d98b8b5dc841b09e09c44cfc53 (diff) | |
| download | mediawikicore-077b84664db0fa866abfd44c03b650e0048a3db8.tar.gz mediawikicore-077b84664db0fa866abfd44c03b650e0048a3db8.zip | |
Merge "Language.php: Mark some closures as static"
Diffstat (limited to 'includes/user/CentralIdLookup.php')
0 files changed, 0 insertions, 0 deletions