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