diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-03-26 23:12:31 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-03-26 23:12:31 +0000 |
| commit | abeca9ac48415828428284816d76dee347e680ea (patch) | |
| tree | 63c33609edb625a2417c936f6b0649a4fefee480 /tests/phpunit/autoload.ide.php | |
| parent | 0b2b8e94cd306195a6999c122184b92d4d643f83 (diff) | |
| parent | 87c7ccd9bcada35f5645e727f1524f69d0345c23 (diff) | |
| download | mediawikicore-abeca9ac48415828428284816d76dee347e680ea.tar.gz mediawikicore-abeca9ac48415828428284816d76dee347e680ea.zip | |
Merge "Fix whitespace trimming in headings"
Diffstat (limited to 'tests/phpunit/autoload.ide.php')
0 files changed, 0 insertions, 0 deletions