diff --git a/externs/browser/html5.js b/externs/browser/html5.js
index 57d9ba80863..1663249fad2 100644
--- a/externs/browser/html5.js
+++ b/externs/browser/html5.js
@@ -5581,6 +5581,25 @@ HTMLMeterElement.prototype.optimum;
HTMLMeterElement.prototype.labels;
+/**
+ * @interface
+ * @see https://www.w3.org/TR/badging/
+ */
+function NavigatorBadge() {};
+
+/**
+ * @see https://www.w3.org/TR/badging/#setappbadge-method
+ * @param {number=} contents
+ * @return {Promise}
+ */
+NavigatorBadge.prototype.setAppBadge = function(contents) {};
+
+/**
+ * @see https://www.w3.org/TR/badging/#clearappbadge-method
+ * @return {Promise}
+ */
+NavigatorBadge.prototype.clearAppBadge = function() {};
+
/**
* @interface
* @see https://storage.spec.whatwg.org/#api
@@ -5594,6 +5613,7 @@ NavigatorStorage.prototype.storage;
/**
* @constructor
+ * @implements NavigatorBadge
* @implements NavigatorStorage
* @see https://www.w3.org/TR/html5/webappapis.html#navigator
*/
@@ -5759,8 +5779,24 @@ Navigator.prototype.userActivation;
*/
Navigator.prototype.webdriver;
+/**
+ * @see https://www.w3.org/TR/badging/#setappbadge-method
+ * @param {number=} contents
+ * @return {Promise}
+ * @override
+ */
+Navigator.prototype.setAppBadge = function(contents) {};
+
+/**
+ * @see https://www.w3.org/TR/badging/#clearappbadge-method
+ * @return {Promise}
+ * @override
+ */
+Navigator.prototype.clearAppBadge = function() {};
+
/**
* @constructor
+ * @implements NavigatorBadge
* @implements NavigatorStorage
* @see https://html.spec.whatwg.org/multipage/workers.html#the-workernavigator-object
*/
@@ -5785,6 +5821,21 @@ WorkerNavigator.prototype.hardwareConcurrency;
*/
WorkerNavigator.prototype.storage;
+/**
+ * @see https://www.w3.org/TR/badging/#setappbadge-method
+ * @param {number=} contents
+ * @return {Promise}
+ * @override
+ */
+WorkerNavigator.prototype.setAppBadge = function(contents) {};
+
+/**
+ * @see https://www.w3.org/TR/badging/#clearappbadge-method
+ * @return {Promise}
+ * @override
+ */
+WorkerNavigator.prototype.clearAppBadge = function() {};
+
/**
* @record
* @see https://wicg.github.io/web-share/#sharedata-dictionary