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