function get_user_versions()

in style/js/public.js [136:138]


    function get_user_versions() {
        return $.cookie("brooklyn_versions") ? $.cookie("brooklyn_versions").split(",") : [];
    }