Umherirrender 130ec2523d Fix PhanTypeMismatchDeclaredParam ... Auto fix MediaWiki.Commenting.FunctionComment.DefaultNullTypeParam sniff Change-Id: I865323fd0295aabd06f3e3c75e0e5043fb31069e		2018-07-07 00:34:30 +00:00
..
output	Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient	2018-05-30 18:06:13 -07:00
Profiler.php	Fix PhanTypeMismatchDeclaredParam	2018-07-07 00:34:30 +00:00
ProfilerSectionOnly.php	Use PHP 7 '<=>' operator in 'sort()' callbacks	2018-05-30 18:05:20 -07:00
ProfilerStub.php
ProfilerXhprof.php	Xhprof: support tideways-xhprof extension	2018-06-19 14:43:40 +00:00
SectionProfiler.php	update mediawiki-codesniffer to 0.11.0 and fix issues	2017-08-11 22:27:51 +02:00