Alexander Reelsen 3bda78e43b ResourceWatcher: Rename settings to prevent watcher clash
The ResourceWatcher used settings prefixed `watcher.`, which
potentially could clash with the watcher plugin.

In order to prevent confusion, the settings have been renamed to
`resource.reload` prefixes.

This also uses the deprecation logging infrastructure introduced
in #11033 to log deprecated settings and their alternative at
startup.

Closes #11175
2015-06-09 10:02:49 +02:00
..
2015-06-08 16:45:59 +02:00
2015-06-09 09:25:23 +02:00
2015-04-27 17:19:36 +02:00
2014-09-11 09:52:09 +02:00
2015-06-02 19:42:45 +02:00