diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-03-28 21:24:42 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-03-28 21:24:43 +0000 |
| commit | 5c68ea56aa61bb745cb6bc4b26b559e36a462f6a (patch) | |
| tree | 3bab8db7f874dc5010e3f89ad458b8da248438fd /includes/MergeHistory.php | |
| parent | d803e9b0db9be3819b9fb03349d20295b707c397 (diff) | |
| parent | cb84ec7f4a6b0effdc04d4f9fddeccaf2b3c3a13 (diff) | |
| download | mediawikicore-5c68ea56aa61bb745cb6bc4b26b559e36a462f6a.tar.gz mediawikicore-5c68ea56aa61bb745cb6bc4b26b559e36a462f6a.zip | |
Merge "Catch errors in more cases inside MediaWiki::triggerJobs()"
Diffstat (limited to 'includes/MergeHistory.php')
0 files changed, 0 insertions, 0 deletions