updated developer tools plugin to disable simplecache_enabled setting when set in settings.php