diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-03-14 23:59:55 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-03-14 23:59:55 +0000 |
| commit | 07fa629cef4b03f391fadfe47d3e880c28380f76 (patch) | |
| tree | a1d6c586f9488d5d70f64441a463c3ee3af7a23e /includes/diff/DifferenceEngineSlotDiffRenderer.php | |
| parent | f474ba3ff3f6ac04593a1d49cf0e5390b00eb3c2 (diff) | |
| parent | 502090f70b3cd1efc5218f61f74858c9173ef54d (diff) | |
| download | mediawikicore-07fa629cef4b03f391fadfe47d3e880c28380f76.tar.gz mediawikicore-07fa629cef4b03f391fadfe47d3e880c28380f76.zip | |
Merge "Make watchlist more responsive"
Diffstat (limited to 'includes/diff/DifferenceEngineSlotDiffRenderer.php')
0 files changed, 0 insertions, 0 deletions