Don't call them PHP extensions, call them HHVM extensions