diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2016-02-17 02:13:45 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2016-02-17 02:13:45 +0000 |
commit | c45be249965cc0a6740b0ee7b805cb3f4fafba1f (patch) | |
tree | ddddfadc11bf74b59401ea847a09bde822e68cf9 /languages/messages/MessagesTk.php | |
parent | ebdd92fcd1c4bbfd08bfa6d01fce6158a5a48fdd (diff) | |
parent | 36797512ce8cc3a4a1ebb624b4f7e6b27c6aa178 (diff) | |
download | mediawikicore-c45be249965cc0a6740b0ee7b805cb3f4fafba1f.tar.gz mediawikicore-c45be249965cc0a6740b0ee7b805cb3f4fafba1f.zip |
Merge "Remove obsolete ignored path from maintenance/checkSyntax.php"
Diffstat (limited to 'languages/messages/MessagesTk.php')
0 files changed, 0 insertions, 0 deletions