are using a browser extension to selectively enable or disable
Review Request #1507
Created Dec. 17, 2018 and updated Dec. 17, 2018, 8:50 a.m.
Merge branch 'release-4.0.x'
write a comment, please!