Merge "mediawiki.inspect: Add headings to console and use console.group()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Jul 2018 11:15:05 +0000 (11:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Jul 2018 11:15:05 +0000 (11:15 +0000)
commit1d17626dc27a5d3a2d37cc650684b17635b02f29
tree88675721641343e2df10b256c83e7d2ac12eff95
parent8c96aec32cffaab96b2bd9dca206a99a13640545
parent25d81fc705895961ecdff2a3f6a8b40a3ce7e803
Merge "mediawiki.inspect: Add headings to console and use console.group()"