diff options
author | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-06 13:44:40 +0000 |
---|---|---|
committer | randomguy3 <randomguy3@7c02a99a-9b00-45e3-bf44-6f3dd7fddb64> | 2012-01-06 13:44:40 +0000 |
commit | 2ed61cfb3ad3d404b9a44bbb3f4c8083b469ae22 (patch) | |
tree | 9939c67d95720a330bd7b884363d801cc7d5811d /docs/web/snippets.php |
Move everything into trunk.
Also add branches and tags directories.
git-svn-id: https://tikzit.svn.sourceforge.net/svnroot/tikzit/trunk@348 7c02a99a-9b00-45e3-bf44-6f3dd7fddb64
Diffstat (limited to 'docs/web/snippets.php')
-rw-r--r-- | docs/web/snippets.php | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/docs/web/snippets.php b/docs/web/snippets.php new file mode 100644 index 0000000..d42083e --- /dev/null +++ b/docs/web/snippets.php @@ -0,0 +1,39 @@ +<? + +$web_root = ""; +$dmg_ver = "0.4"; +$source_ver = "0.7"; +$win_ver = "0.3"; + +require('snippets.local.php'); + +function top_menu () { + global $web_root;?> + <div style="text-align:center"> + <a href="<?=$web_root?>/index.php" title="Return to the TikZiT home page"> + <img src="<?=$web_root?>/images/web_logo.png" border="0" alt="TikZiT" /> + </a> + </div> +<?} + +function css() { + global $web_root;?> +<link rel="stylesheet" type="text/css" href="<?=$web_root?>/main.css" /> +<?} + +function dmg_url () { + global $dmg_ver; + print "http://sourceforge.net/projects/tikzit/files/tikzit-$dmg_ver/TikZiT-$dmg_ver.dmg/download"; +} + +function win_url () { + global $win_ver; + print "http://sourceforge.net/projects/tikzit/files/tikzit-$win_ver/tikzit-$win_ver.zip/download"; +} + +function source_url () { + global $source_ver; + print "http://sourceforge.net/projects/tikzit/files/tikzit-$source_ver/tikzit-$source_ver.tar.gz/download"; +} + +?> |