mergeInto(LibraryManager.library, {
  IsMobileBrowser: function() {
    return /Android|iPhone|iPad|iPod|Opera Mini|IEMobile/i
      .test(navigator.userAgent) ? 1 : 0;
  }
});