Je was op zoek naar: filename: (Engels - Duits)

filename:
dateiname:

filename
benutzerdefinierte linienbreite

$ filename = '',
$config,

svg filename
svg-dateiname

gets(filename);
gets(filename);

filename ".$file."
filename ".$file."

filename definition:
festlegung des dateinamens:

filename extension
dateierweiterung

8.3 filename
8.3

convertfromurl(filename)
convertfromurl(dateiname)

$filename = 'test.txt';
$filename = 'test.txt';

g.write(filename);
g.write(filename);

importjob.setfilename(filename);
asserttrue(a1.getbetas().contains(b3)); //fail.

filenames
dateiname