At some point between 1982 and the late nineties ;) replaced :-) as the joke indicator. But with modern WhatsApp rendering ;) as a suggestive grin instead of a simple wink I imagine the current generation of teenagers has found a new innocent joke marker.