1<?php
2
3use Twig\Extension\ExtensionInterface;
4
5class_exists('Twig\Extension\ExtensionInterface');
6
7@trigger_error('Using the "Twig_ExtensionInterface" class is deprecated since Twig version 2.7, use "Twig\Extension\ExtensionInterface" instead.', \E_USER_DEPRECATED);
8
9if (false) {
10    /** @deprecated since Twig 2.7, use "Twig\Extension\ExtensionInterface" instead */
11    class Twig_ExtensionInterface extends ExtensionInterface
12    {
13    }
14}
15