1<?php
2
3use Twig\Extension\ExtensionInterface;
4
5class_exists('Twig\Extension\ExtensionInterface');
6
7if (\false) {
8    class Twig_ExtensionInterface extends ExtensionInterface
9    {
10    }
11}
12