Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / context / 
tree56b7058838ad8fad4a1813292318bdbcedd81a14
drwxr-xr-x   ..
-rw-r--r-- 4042 ContextSource.php
-rw-r--r-- 6055 DerivativeContext.php
-rw-r--r-- 2570 IContextSource.php
-rw-r--r-- 15739 RequestContext.php