procurveTest.php: Remove if (false) code, deindent