(function () {
  'use strict';
  location.href = document.URL.replace('m.wikipedia.org', 'wikipedia.org');
})();