/** * Delete a file from the list. * * @param string $file The file name. * * @return NULL */ public function delete($file) { $this->_dir_list->deleteFile($file); if (isset($this->_install_list[$file])) { $this->_xml->removeWhitespace($this->_install_list[$file]->nextSibling); $this->_filelist->removeChild($this->_install_list[$file]); } }