[VarDumper] add Stub objects for cutting cleanly and dumping consts

nicolas-grekas · nicolas-grekas · commit a33ec8080020 · 2014-09-23T16:25:59.000+02:00
diff --git a/DataCollector/DumpDataCollector.php b/DataCollector/DumpDataCollector.php
@@ -218,7 +218,7 @@ public function flushDumps()
 
             $h = headers_list();
             $i = count($h);
-            array_unshift($h, 'Content-Type: ' . ini_get('default_mimetype'));
+            array_unshift($h, 'Content-Type: '.ini_get('default_mimetype'));
             while (0 !== stripos($h[$i], 'Content-Type:')) {
                 --$i;
             }

Original file line number	Diff line number	Diff line change
`@@ -218,7 +218,7 @@ public function flushDumps()`
`218`	`218`
`219`	`219`	`$h = headers_list();`
`220`	`220`	`$i = count($h);`
`221`		`- array_unshift($h, 'Content-Type: ' . ini_get('default_mimetype'));`
	`221`	`+ array_unshift($h, 'Content-Type: '.ini_get('default_mimetype'));`
`222`	`222`	`while (0 !== stripos($h[$i], 'Content-Type:')) {`
`223`	`223`	`--$i;`
`224`	`224`	`}`