diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-10-15 21:48:29 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-10-15 21:48:29 +0000 |
| commit | 8867f81ab354b3acdb11a87f97b2f998716a0be2 (patch) | |
| tree | 3a4bd46da065ab693e1c0bda25a681f12ac4f2b3 /includes/PHPVersionCheck.php | |
| parent | ed4d7ef057a128536056baff19851e717f040b10 (diff) | |
| parent | 7fbc3e53f555ad6dbc99dd55a75158fc198f49f5 (diff) | |
| download | mediawikicore-8867f81ab354b3acdb11a87f97b2f998716a0be2.tar.gz mediawikicore-8867f81ab354b3acdb11a87f97b2f998716a0be2.zip | |
Merge "CREDITS: Bump for 1.32.0 release"
Diffstat (limited to 'includes/PHPVersionCheck.php')
0 files changed, 0 insertions, 0 deletions