src/File.php
public function getFilenameWithExtension() {
		if ($this->extension === null) {
			return $this->filename;
		}
		else {
			return $this->filename . '.' . $this->extension;
		}
	}
public function getFilenameWithExtension() {
		if ($this->extension === null) {
			return $this->filename;
		}
		else {
			return $this->filename . '.' . $this->extension;
		}
	}
public function getFilenameWithExtension ( ) { if ( $ this -> extension === null ) { return $ this -> filename ; } else { return $ this -> filename . '.' . $ this -> extension ; } }
Returns the name of the file including its extension

@return string
Returns the name of the file including its extension