1
0

/about/ + extendedGitGraph

This commit is contained in:
2018-01-21 15:29:01 +01:00
parent d77954ddae
commit 28ae8beb2d
26 changed files with 1346 additions and 48 deletions

View File

@@ -88,7 +88,7 @@ function formatMilliseconds($millis)
}
}
function includeScriptOnce($script, $echo = true)
function includeScriptOnce($script, $echo = true, $attr=false)
{
global $REGISTERED_SCRIPTS;
@@ -96,14 +96,14 @@ function includeScriptOnce($script, $echo = true)
{
if (in_array($script, $REGISTERED_SCRIPTS)) return false;
$REGISTERED_SCRIPTS []= $script;
echo "<script src=\"$script\" type=\"text/javascript\"></script>";
echo "<script src=\"$script\" type=\"text/javascript\" $attr></script>";
return true;
}
else
{
if (in_array($script, $REGISTERED_SCRIPTS)) return '';
$REGISTERED_SCRIPTS []= $script;
return "<script src=\"$script\" type=\"text/javascript\"></script>";
return "<script src=\"$script\" type=\"text/javascript\" $attr></script>";
}
}