diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-02-11 00:09:36 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-02-11 00:09:36 +0000 |
| commit | a1433548702aa200c9defb52fa93497e4c281f3e (patch) | |
| tree | 62c281769d275e836dfe3975458eb5d24f1b1668 /includes/parser/Sanitizer.php | |
| parent | 85e613af8a5bd4732be443e39f67e7b3ea383c9d (diff) | |
| parent | c82e4b21a0e7e45e8756e85f2eb2e7607bdb0716 (diff) | |
| download | mediawikicore-a1433548702aa200c9defb52fa93497e4c281f3e.tar.gz mediawikicore-a1433548702aa200c9defb52fa93497e4c281f3e.zip | |
Merge "Resources.php: Mark some closures as static"
Diffstat (limited to 'includes/parser/Sanitizer.php')
0 files changed, 0 insertions, 0 deletions