diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-09-24 16:26:17 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-09-24 16:26:17 +0000 |
| commit | b43b4c728f6578b6bdfd60e5f817ef85e27e87f2 (patch) | |
| tree | d02a9a78aeada6774cc100dc9404fb2195c5c7cb /includes/diff/Hook/DiffToolsHook.php | |
| parent | d0b7fb495c9d5446607672ad6a93a5491efe7337 (diff) | |
| parent | deacee9088948e074722af0148000ad9455b07df (diff) | |
| download | mediawikicore-b43b4c728f6578b6bdfd60e5f817ef85e27e87f2.tar.gz mediawikicore-b43b4c728f6578b6bdfd60e5f817ef85e27e87f2.zip | |
Merge "Revert "Revert "Hard deprecate all public properties in CacheTime and ParserOutput"""
Diffstat (limited to 'includes/diff/Hook/DiffToolsHook.php')
0 files changed, 0 insertions, 0 deletions