From bbe2e886abbfc5f9c94cf859418edd33b7446d45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Paul=20O=E2=80=99Shannessy?= <paul@oshannessy.com>
Date: Thu, 4 Dec 2014 19:02:34 -0800
Subject: [PATCH] Merge pull request #2658 from ianobermiller/margin-attrs

Support marginHeight and marginWidth attributes
---
 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 0f24d99acb..9a8d218b12 100644
--- a/src/browser/ui/dom/HTMLDOMPropertyConfig.js
+++ b/src/browser/ui/dom/HTMLDOMPropertyConfig.js
@@ -107,6 +107,8 @@ var HTMLDOMPropertyConfig = {
     list: MUST_USE_ATTRIBUTE,
     loop: MUST_USE_PROPERTY | HAS_BOOLEAN_VALUE,
     manifest: MUST_USE_ATTRIBUTE,
+    marginHeight: null,
+    marginWidth: null,
     max: null,
     maxLength: MUST_USE_ATTRIBUTE,
     media: MUST_USE_ATTRIBUTE,