Bookmarklet to toggle between `localhost` and production

bookmarklet_localhost-toggler.js

/* jshint esversion: 8 */
(function () {
  const domain = "https://example.com";
  const isLocalhost = window.location.href.indexOf("localhost") >= 0;
  const localhost = "http://localhost:8080";
  const pathname = window.location.pathname;
  const url = isLocalhost ? (domain + pathname) : (localhost + pathname);

  window.location = url;
})();

// javascript:(function(){const domain="https://example.com";const isLocalhost=window.location.href.indexOf("localhost")>=0;const localhost="http://localhost:8080";const pathname=window.location.pathname;const url=isLocalhost?(domain+pathname):(localhost+pathname);window.location=url})();

// Minified at https://duckduckgo.com/?q=javascript+minifier