Legacy PHP HttpKernel service provider for Silex