mirror of
https://github.com/facebook/react.git
synced 2025-11-01 09:12:30 +00:00
Paul O'ShannessyandPaul O’Shannessy
fc5f7e0e85
We're missing a bunch of elements. So I scraped them from https://developer.mozilla.org/en-US/docs/Web/HTML/Element. Here's the script I used (run from Firefox scratchpad): ``` Array.prototype.slice.call(document.querySelectorAll('div.index.widgeted li')) .filter(function(li) { return !/deprecatedElement|obsoleteElement|nonStdElement/.test(li.firstChild.className) }) .map(function(li) { // <tag> -> tag return li.querySelector('code').textContent.replace(/<(.+)>/,'$1'); }) .join(': false,\n '); ``` I had to filter a couple more out (because there's some malformed content), but then it was simply merge with what we had and check to see if the new ones needed to omit the close tag.