<?php
if (isset($_POST['file'])) $file = addslashes(trim(strip_tags(stripslashes($_POST['file']))));
else $file = strtoupper($module)."-".date('d.m.Y-H_i', time());

print "
<div class='form-row'>
	<label for='file' class='form-label'>".LABEL_FILE."</label>
	<div class='form-cols'>
		<div class='form-col form-large'>
			<div class='form-controls'>
				<input type='text' class='field' id='file' name='file' value='".$file."'>
			</div><!-- /.form-controls -->
		</div><!-- /.form-col -->
	</div><!-- /.form-cols -->
</div><!-- /.form-row -->";