Returns the name of the main extension file, if any.
string|null
public function getExtensionFilename() : ?string { return $this->filename; }