Fix bot breakage caused by Chromium extension PR
Merge pull request #3822 from Snuffleupagus/fix-chromium-PR-bot-breakage

Fix bot breakage caused by Chromium extension PR