Defining $service for PHP code sample