Delete images that are no longer used.

Author: sebastianbergmann

PHP/CodeCoverage/Report/HTML.php

@@ -190,8 +190,6 @@ public function process(PHP_CodeCoverage $coverage, $target)
     protected function copyFiles($target)
     {
         $files = array(
-          'butter.png',
-          'chameleon.png',
           'close12_1.gif',
           'container.css',
           'container-min.js',
@@ -203,8 +201,6 @@ protected function copyFiles($target)
           'RGraph.common.core.js',
           'RGraph.common.tooltips.js',
           'RGraph.scatter.js',
-          'scarlet_red.png',
-          'snow.png',
           'style.css',
           'yahoo-dom-event.js'
         );

PHP/CodeCoverage/Report/HTML/Renderer/Template/butter.png

@@ -41,8 +41,6 @@
       <dir name="HTML">
        <dir name="Renderer">
         <dir name="Template">
-         <file baseinstalldir="/" name="butter.png" role="php" />
-         <file baseinstalldir="/" name="chameleon.png" role="php" />
          <file baseinstalldir="/" name="close12_1.gif" role="php" />
          <file baseinstalldir="/" name="container.css" role="php" />
          <file baseinstalldir="/" name="container-min.js" role="php" />
@@ -61,8 +59,6 @@
          <file baseinstalldir="/" name="RGraph.common.core.js" role="php" />
          <file baseinstalldir="/" name="RGraph.common.tooltips.js" role="php" />
          <file baseinstalldir="/" name="RGraph.scatter.js" role="php" />
-         <file baseinstalldir="/" name="scarlet_red.png" role="php" />
-         <file baseinstalldir="/" name="snow.png" role="php" />
          <file baseinstalldir="/" name="style.css" role="php" />
          <file baseinstalldir="/" name="yahoo-dom-event.js" role="php" />
          <file baseinstalldir="/" name="yui_item.js" role="php" />