// Highlights all custom elements on the page. // 7/31/2016: updated to work with both shadow dom v0 and v1. // To create a bookmarklet, use http://ted.mielczarek.org/code/mozilla/bookmarklet.html var allCustomElements = []; function isCustomElement(el) { const isAttr = el.getAttribute('is'); // Check for and