public function RemoveHeader($header_name)
    {
        $header = $this->output_path 
            . "includes/" 
            . $this->GetHeaderNamePHP($header_name)
        ;
        
        $source = $this->output_path 
            . "src/" 
            . $this->GetSourceNamePHP($header_name)
        ;
        
        if(file_exists($header))
            unlink($header);
        
        if(file_exists($source))
            unlink($source);
    }
public function RemoveHeader($header_name)
    {
        $header = $this->output_path 
            . "includes/" 
            . $this->GetHeaderNamePHP($header_name)
        ;
        
        $source = $this->output_path 
            . "src/" 
            . $this->GetSourceNamePHP($header_name)
        ;
        
        if(file_exists($header))
            unlink($header);
        
        if(file_exists($source))
            unlink($source);
    }
public function RemoveHeader ( $ header_name ) { $ header = $ this -> output_path . "includes/" . $ this -> GetHeaderNamePHP ( $ header_name ) ; $ source = $ this -> output_path . "src/" . $ this -> GetSourceNamePHP ( $ header_name ) ; if ( file_exists ( $ header ) ) unlink ( $ header ) ; if ( file_exists ( $ source ) ) unlink ( $ source ) ; }
Deletes a generated header declarations file and its source file
@param string $header_name Original name of header.
Deletes a generated header declarations file and its source file