diff options
Diffstat (limited to 'maintenance/benchmarks/bench_delete_truncate.php')
| -rw-r--r-- | maintenance/benchmarks/bench_delete_truncate.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintenance/benchmarks/bench_delete_truncate.php b/maintenance/benchmarks/bench_delete_truncate.php index 9fe9bea9..71385520 100644 --- a/maintenance/benchmarks/bench_delete_truncate.php +++ b/maintenance/benchmarks/bench_delete_truncate.php @@ -1,4 +1,8 @@ <?php +/** + * @file + * @ingroup Benchmark + */ require_once( dirname( __FILE__ ) . '/Benchmarker.php' ); |