store userprefs using JSON instead of serialized PHP array
commit0515e1b03ed5dcf055efffb75aa5f42a26969e94
authorPiotr Przybylski <piotrprz@gmail.com>
Wed, 16 Feb 2011 20:51:53 +0000 (16 21:51 +0100)
committerPiotr Przybylski <piotrprz@gmail.com>
Wed, 16 Feb 2011 20:51:53 +0000 (16 21:51 +0100)
tree338350e50c5b928afe8d78461dff6825fb695f5f
parent3e3f5f64fb36bba7e924374f1a386d96ba7e67f5
store userprefs using JSON instead of serialized PHP array
libraries/user_preferences.lib.php