diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-01-13 17:42:04 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-01-13 17:42:04 +0000 |
| commit | 892b17237bb44630fa6f508c5bf85374a62def13 (patch) | |
| tree | 6d3dc3307700c3040634ffec201d6a7192b9cf6c /includes/GitInfo.php | |
| parent | 8c437070041138b87ce14c620688851e75f686e5 (diff) | |
| parent | f3f2df07ec1da00d78cb88250abb50d28dc17459 (diff) | |
| download | mediawikicore-892b17237bb44630fa6f508c5bf85374a62def13.tar.gz mediawikicore-892b17237bb44630fa6f508c5bf85374a62def13.zip | |
Merge "Add parameter to API modules to apply change tags to log entries"
Diffstat (limited to 'includes/GitInfo.php')
0 files changed, 0 insertions, 0 deletions