Prettify Function Origin

[WPStrideSource]

It would be a real nice addition to identity to origin of the prettify request
example :

function myPrettify(n, origin) {
    if (origin == "min") {
        return 0;
    }
    else
    {
        return n;
    }
}

$range_Core.ionRangeSlider({
    type: "int",
    min: -5,
    max: 20,
    from: 10,
    to: 15,         
    prettify: myPrettify,
});