From 501fb272085a5be6024d0bc5823f9cb719366a39 Mon Sep 17 00:00:00 2001 From: Michael M Slusarz Date: Mon, 12 Apr 2010 14:01:13 -0600 Subject: [PATCH] Remove newly-added prefs.php cruft --- imp/config/prefs.php.dist | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/imp/config/prefs.php.dist b/imp/config/prefs.php.dist index 034ba8720..9507229bf 100644 --- a/imp/config/prefs.php.dist +++ b/imp/config/prefs.php.dist @@ -1117,10 +1117,7 @@ $_prefs['msgflags'] = array( // See the 'msgflags' preference for the format of this value. $_prefs['msgflags_user'] = array( // 'value' = json_encode(array()) - 'value' => '[]', - 'locked' => false, - 'shared' => false, - 'type' => 'implicit' + 'value' => '[]' ); // The default color to use for flags that don't require row highlighting. -- 2.11.0