Merge branch '1.2'

Author: sebastianbergmann

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

@@ -380,7 +380,7 @@ protected function renderSource(PHP_CodeCoverage_Report_Node_File $node)
 
             if (!empty($popoverTitle)) {
                 $popover = sprintf(
-                  ' data-title="%s" data-content="%s" data-placement="bottom"',
+                  ' data-title="%s" data-content="%s" data-placement="bottom" data-html="true"',
                   $popoverTitle,
                   htmlspecialchars($popoverContent)
                 );