this will break the highlighting, please do something like:

````php
interface HttpKernelInterface
{
    // ...
}
````