Flush all caches after changing CACHE_SOURCE_TYPE
authorTim Düsterhus <duesterhus@woltlab.com>
Sat, 20 Apr 2013 21:07:11 +0000 (23:07 +0200)
committerTim Düsterhus <duesterhus@woltlab.com>
Sat, 20 Apr 2013 21:07:43 +0000 (23:07 +0200)
commit16d60d54fd8f8d40a0a5ac1d8db0984716c24814
treed90a42267f20048d2c7196df54a77364aefbb7f2
parent020afe4e620172cb1c71dcdac62713de8d294dad
Flush all caches after changing CACHE_SOURCE_TYPE

Fixes #645
wcfsetup/install/files/lib/data/option/OptionEditor.class.php