100644 blob 2391f45c3c5d6a92c6fb8f3c0e10c7642dceb893	Option.ts
100644 blob 36370a12b0d57cb84e6b895d3cf86ba9abced655	OptionsProvider.ts
100644 blob f00513150a1bb2106138af3a72c276c58500a258	optionsPermissions.js
100644 blob 277ae4c25b3965ebadb48f0db593fee4dcb13bcf	optionsPrototype.ts
100644 blob 055e46bb2ec986c6ce81da90f33ebe58ca7093b3	optionsUtils.js
100644 blob 261a6d4f380f5fd6f5de6510b1eb84e0bd5e8538	partialOptionsWatcher.js
100644 blob 37b69fac7801fae70e5ec51a53aa13a04aac9ca7	specialOptions.json5