diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-12-18 10:43:51 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-12-18 10:43:51 +0000 |
| commit | 2b5736a0b269752862adfdff918e160be29f013a (patch) | |
| tree | 4e36954d97cf0e6461fc94fdccb2f5e232bcbd2c /includes/diff/TextDiffer/PhpTextDiffer.php | |
| parent | 1269ed507da3b6bcaf81d93e741c0a80c3118295 (diff) | |
| parent | ce9949d505d23c0048c2ff93730131c44d627f44 (diff) | |
| download | mediawikicore-2b5736a0b269752862adfdff918e160be29f013a.tar.gz mediawikicore-2b5736a0b269752862adfdff918e160be29f013a.zip | |
Merge "Use unique log channel to report translation problems"
Diffstat (limited to 'includes/diff/TextDiffer/PhpTextDiffer.php')
0 files changed, 0 insertions, 0 deletions