| 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()) {
|
|
|