[MediaWiki-commits] [Gerrit] mediawiki...parsoid[master]: Let extensions supply the pp tracing name

jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326240 ) Change subject: Let extensions supply the pp tracing name .. Let extensions supply the pp tracing name * They won't all have

[MediaWiki-commits] [Gerrit] mediawiki...parsoid[master]: Let extensions supply the pp tracing name

Arlolra has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/326240 ) Change subject: Let extensions supply the pp tracing name .. Let extensions supply the pp tracing name * They won't all have tags, like