initializing git repo

This commit is contained in:
Developer 2018-12-17 17:50:23 +01:00
commit 3df8fc53b8
86 changed files with 5649 additions and 0 deletions

19
includes/java_scripts.php Executable file
View file

@ -0,0 +1,19 @@
<script type="text/javascript" language="JavaScript">
<!--
function ToggleDisplayStyle(ElementId)
{
var Element=document.getElementById(ElementId);
if(!Element)
return true;
if(Element.style.display=="none")
Element.style.display="block";
else
Element.style.display="none";
return true;
}
//-->
</script>