diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-10-07 15:00:00 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-10-07 15:00:00 +0000 |
| commit | fef192fb527c05aa6038455763d5b3cbe041d0af (patch) | |
| tree | 1707ad78eb673a72fe64830549dbbf40e292d1d6 /extensions | |
| parent | 0785acc11bbd346a5c0be31180a61416d3397f23 (diff) | |
| parent | 865ac3b3553751dd72cf805d9933639b129f36e2 (diff) | |
| download | mediawikicore-fef192fb527c05aa6038455763d5b3cbe041d0af.tar.gz mediawikicore-fef192fb527c05aa6038455763d5b3cbe041d0af.zip | |
Merge "Drop strings for wgExternalDiffEngine, deprecated in 1.27 and 1.32" into REL1_34
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions