diff options
Diffstat (limited to 'maintenance/benchmarks/benchmarkSanitizer.php')
| -rw-r--r-- | maintenance/benchmarks/benchmarkSanitizer.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/benchmarks/benchmarkSanitizer.php b/maintenance/benchmarks/benchmarkSanitizer.php index 8fff67c50819..f273562b40da 100644 --- a/maintenance/benchmarks/benchmarkSanitizer.php +++ b/maintenance/benchmarks/benchmarkSanitizer.php @@ -22,7 +22,9 @@ use MediaWiki\MainConfigNames; use MediaWiki\Parser\Sanitizer; +// @codeCoverageIgnoreStart require_once __DIR__ . '/../includes/Benchmarker.php'; +// @codeCoverageIgnoreEnd /** * Maintenance script that benchmarks Sanitizer methods. @@ -140,5 +142,7 @@ class BenchmarkSanitizer extends Benchmarker { } } +// @codeCoverageIgnoreStart $maintClass = BenchmarkSanitizer::class; require_once RUN_MAINTENANCE_IF_MAIN; +// @codeCoverageIgnoreEnd |