use require( RUN_MAINTENANCE_IF_MAIN ) as per r80205
authorAntoine Musso <hashar@users.mediawiki.org>
Fri, 14 Jan 2011 15:08:41 +0000 (15:08 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Fri, 14 Jan 2011 15:08:41 +0000 (15:08 +0000)
commit8dc6f041c19c944f8393b34a6fb8660960a16540
treefdbf417496af2a362dab8c8b97a754ec734579d4
parent85aa1b796e8bec2afcb2f53aac80f3e71b973df6
use require( RUN_MAINTENANCE_IF_MAIN ) as per r80205

fix review on r80269
maintenance/benchmarks/bench_if_switch.php