added missing globals

extension/ui/content/content-ui.js

@@ -18,7 +18,7 @@
  *   along with SingleFile.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-/* global document, getComputedStyle, addEventListener, removeEventListener, requestAnimationFrame, scrollX, scrollY */
+/* global document, getComputedStyle, addEventListener, removeEventListener, requestAnimationFrame, scrollX, scrollY, setTimeout */
 
 this.singlefile.ui = this.singlefile.ui || (() => {
 

extension/ui/content/infobar.js

@@ -18,7 +18,7 @@
  *   along with SingleFile.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-/* global browser, document, Node, window, top, getComputedStyle, location */
+/* global browser, document, Node, window, top, getComputedStyle, location, setTimeout */
 
 this.singlefile.infobar = this.singlefile.infobar || (() => {