Drop IDL patch for the CSS Highlight API#1455

tidoust merged 1 commit intomainw3c/webref:mainfrom

drop-highlight-patchw3c/webref:drop-highlight-patchCopy head branch name to clipboard