HHVM extensions examples