diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-01-11 18:47:10 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-01-11 18:47:10 +0000 |
| commit | 5d23bca5a556246be82e921a4b9895e7e519064a (patch) | |
| tree | d9d5e7047f60991436ab0fc5b2a3bd61be75bf3b /includes/logging/BlockLogFormatter.php | |
| parent | 1f8fb9b7f769c789c16baabe2754633e38d3bc83 (diff) | |
| parent | 01b0e099a84574c66d026522144823f78fb88d26 (diff) | |
| download | mediawikicore-5d23bca5a556246be82e921a4b9895e7e519064a.tar.gz mediawikicore-5d23bca5a556246be82e921a4b9895e7e519064a.zip | |
Merge "Hard deprecate the global function wfWikiID()"
Diffstat (limited to 'includes/logging/BlockLogFormatter.php')
0 files changed, 0 insertions, 0 deletions