file extension (P1195)
Jump to navigation
Jump to search
identifier for a file format (e.g. txt for a text file) used as suffix to the file name, don't use dot at start
- extension
- filename extension
Language | Label | Description | Also known as |
---|---|---|---|
English |
file extension
|
identifier for a file format (e.g. txt for a text file) used as suffix to the file name, don't use dot at start
|
|
Data type
String
Statements
[0-9a-zA-Z_@\+]+([\.\-][0-9a-zA-Z_@\+]+)?|
0 references
Constraints
0 references
[0-9a-zA-Z_@\+]+([\.\-][0-9a-zA-Z_@\+]+)?|
0 references