| Index: Source/WebCore/dom/make_names.pl | 
| diff --git a/Source/WebCore/dom/make_names.pl b/Source/WebCore/dom/make_names.pl | 
| index fbbf867c54a1cb7d4c6f2ef512350b93d7c0fcbb..31d1f217a51e68a8cbf9b1257273bcb5b9adc460 100755 | 
| --- a/Source/WebCore/dom/make_names.pl | 
| +++ b/Source/WebCore/dom/make_names.pl | 
| @@ -861,7 +861,7 @@ print F <<END | 
| #include "CustomElementRegistry.h" | 
| #endif | 
|  | 
| -#if ENABLE(DASHBOARD_SUPPORT) || ENABLE(VIDEO) | 
| +#if ENABLE(VIDEO) | 
| #include "Document.h" | 
| #include "Settings.h" | 
| #endif | 
| @@ -921,18 +921,6 @@ print F <<END | 
| END | 
| ; | 
|  | 
| -if ($parameters{namespace} ne "HTML" and $parameters{namespace} ne "SVG") { | 
| -print F <<END | 
| -#if ENABLE(DASHBOARD_SUPPORT) | 
| -    Settings* settings = document->settings(); | 
| -    if (settings && settings->usesDashboardBackwardCompatibilityMode()) | 
| -        return 0; | 
| -#endif | 
| -END | 
| -; | 
| - | 
| -} | 
| - | 
| print F <<END | 
| #if ENABLE(CUSTOM_ELEMENTS) | 
| if (document->registry()) { | 
|  |