Type definitions for FLIPPY jQuery plugin