Merge branch '1.2' into 2.0

Author: sebastianbergmann

CONTRIBUTING.md

@@ -1,4 +1,4 @@
-Pull Requests for bug fixes should be made against the current release branch (1.2). 
+Pull Requests for bug fixes should be made against the current release branch (1.2).
 
 Pull Requests for new features should be made against master.
 

src/CodeCoverage/Report/HTML/Renderer/File.php

@@ -312,7 +312,7 @@ protected function renderSource(PHP_CodeCoverage_Report_Node_File $node)
             $popoverContent = '';
             $popoverTitle   = '';
 
-            if (isset($coverageData[$i])) {
+            if (array_key_exists($i, $coverageData)) {
                 $numTests = count($coverageData[$i]);
 
                 if ($coverageData[$i] === null) {