2019-09-05 19:05:22 +00:00
|
|
|
import { interdict } from "../../js-src/interdiction";
|
2019-10-06 16:29:15 +00:00
|
|
|
import { get_config_options } from "../../js-src/config";
|
2019-09-05 02:11:01 +00:00
|
|
|
|
2019-09-05 19:05:22 +00:00
|
|
|
let html = document.getElementsByTagName("html")[0];
|
|
|
|
let page_options = get_config_options(html);
|
2019-10-06 16:29:15 +00:00
|
|
|
let interdictions = page_options.interdict;
|
2019-09-05 19:05:22 +00:00
|
|
|
interdict(interdictions);
|