57 <p> |
57 <p> |
58 Function to test, if the given file is a text (i.e. editable) file. |
58 Function to test, if the given file is a text (i.e. editable) file. |
59 </p> |
59 </p> |
60 <dl> |
60 <dl> |
61 |
61 |
62 <dt><i>filename</i></dt> |
62 <dt><i>filename</i> (str)</dt> |
63 <dd> |
63 <dd> |
64 name of the file to be checked (string) |
64 name of the file to be checked |
65 </dd> |
65 </dd> |
66 </dl> |
66 </dl> |
67 <dl> |
67 <dl> |
68 <dt>Return:</dt> |
68 <dt>Return:</dt> |
69 <dd> |
69 <dd> |
70 flag indicating an editable file (boolean) |
70 flag indicating an editable file |
|
71 </dd> |
|
72 </dl> |
|
73 <dl> |
|
74 <dt>Return Type:</dt> |
|
75 <dd> |
|
76 bool |
71 </dd> |
77 </dd> |
72 </dl> |
78 </dl> |
73 <div align="right"><a href="#top">Up</a></div> |
79 <div align="right"><a href="#top">Up</a></div> |
74 <hr /> |
80 <hr /> |
75 <hr /> |
81 <hr /> |
80 <p> |
86 <p> |
81 Function to get the mime type of a file. |
87 Function to get the mime type of a file. |
82 </p> |
88 </p> |
83 <dl> |
89 <dl> |
84 |
90 |
85 <dt><i>filename</i></dt> |
91 <dt><i>filename</i> (str)</dt> |
86 <dd> |
92 <dd> |
87 name of the file to be checked (string) |
93 name of the file to be checked |
88 </dd> |
94 </dd> |
89 </dl> |
95 </dl> |
90 <dl> |
96 <dl> |
91 <dt>Return:</dt> |
97 <dt>Return:</dt> |
92 <dd> |
98 <dd> |
93 mime type of the file (string) |
99 mime type of the file |
|
100 </dd> |
|
101 </dl> |
|
102 <dl> |
|
103 <dt>Return Type:</dt> |
|
104 <dd> |
|
105 str |
94 </dd> |
106 </dd> |
95 </dl> |
107 </dl> |
96 <div align="right"><a href="#top">Up</a></div> |
108 <div align="right"><a href="#top">Up</a></div> |
97 <hr /> |
109 <hr /> |
98 </body></html> |
110 </body></html> |