You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Current » 

<script>
	function getFileExtension(filename) {
		var r=(/[.]/.exec(filename)) ? /[^.]+$/.exec(filename) : undefined;
		return r.toLowerCase();
	}
</script>
  • No labels