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