getMarginHeight   760 chrome/android/java/src/org/chromium/chrome/browser/banners/AppBannerView.java         availableHeight -= getMarginHeight(child);
getMarginHeight   820 chrome/android/java/src/org/chromium/chrome/browser/banners/AppBannerView.java         return view.getMeasuredHeight() + getMarginHeight(view);