* the requested query parameters. It may also be omitted completely for a
* link without query parameters.
*/
+const pagenames = ['search', 'reverse', 'details', 'deletable', 'polygons', 'about'];
+
export function refresh_page(pagename, params) {
if (typeof pagename === 'undefined') {
pagename = window.location.pathname.replace('.html', '').replace(/^.*\//, '');
- if (['search', 'reverse', 'details', 'deletable', 'polygons'].indexOf(pagename) === -1) {
- pagename = 'search';
- }
+ if (!pagenames.includes(pagename)) pagename = 'search';
params = new URLSearchParams(window.location.search);
} else {