Merge "mediawiki.inspect: Fix exception when calling mw.inspect() a second time"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Jun 2018 07:19:09 +0000 (07:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Jun 2018 07:19:09 +0000 (07:19 +0000)
commitbfc1435198047602edb4e38183e6f78e9977be63
tree5c47facb631205359e169c890bd9b1fcd62bdc35
parent050d480cf58e06558ae1cf814375a663148a431e
parent2e1b3f94ad3620c87d8f5587576628a56556054e
Merge "mediawiki.inspect: Fix exception when calling mw.inspect() a second time"