/** * 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]); } }
/** * Prune this directory if it is empty. * * @return NULL */ private function _prune() { if (empty($this->_files) && empty($this->_subdirectories)) { $this->_element->delete(); if ($this->_parent instanceof Horde_Pear_Package_Xml_Directory) { $this->_parent->_deleteSubdirectory($this->_element->getName()); } } }