From 6d385f2863c3f795176905f5330fed909c682cbb Mon Sep 17 00:00:00 2001
From: Ian Obermiller <ian@obermillers.com>
Date: Wed, 3 Dec 2014 13:46:29 -0800
Subject: [PATCH] Support marginHeight and marginWidth attributes

These are used for iframes to set the default margin on the body of the iframe.
---
 src/browser/ui/dom/HTMLDOMPropertyConfig.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/browser/ui/dom/HTMLDOMPropertyConfig.js b/src/browser/ui/dom/HTMLDOMPropertyConfig.js
index a113975b6de38..bc24147e0cd15 100644
--- a/src/browser/ui/dom/HTMLDOMPropertyConfig.js
+++ b/src/browser/ui/dom/HTMLDOMPropertyConfig.js
@@ -104,6 +104,8 @@ var HTMLDOMPropertyConfig = {
     list: MUST_USE_ATTRIBUTE,
     loop: MUST_USE_PROPERTY | HAS_BOOLEAN_VALUE,
     manifest: MUST_USE_ATTRIBUTE,
+    marginHeight: MUST_USE_ATTRIBUTE | HAS_POSITIVE_NUMERIC_VALUE,
+    marginWidth: MUST_USE_ATTRIBUTE | HAS_POSITIVE_NUMERIC_VALUE,
     max: null,
     maxLength: MUST_USE_ATTRIBUTE,
     media: MUST_USE_ATTRIBUTE,