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