RegexEngine/index.php at master · KendallHopkins/RegexEngine · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<!DOCTYPE html>
<html>
	<head>
		<meta charset="utf-8"/>
		<title>Regex Engine</title>
		<link rel="stylesheet" href="//current.bootstrapcdn.com/bootstrap-v204/css/bootstrap.min.css"/>
<? if( array_key_exists( "debug", $_GET ) ) { ?>
		<link rel="stylesheet" href="vendor/fancyBox/source/jquery.fancybox.css"/>
		<link rel="stylesheet" href="vendor/jQuery-contextMenu/src/jquery.contextMenu.css"/>
		<link rel="stylesheet/less" href="main.less">
<? } else { ?>
		<link rel="stylesheet" href="build.css?_t=<? print filemtime( __DIR__."/build.css" ) ?>"/>
<? } ?>
		<script type='text/javascript' defer="defer" src='//ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js'></script>
		<script type='text/javascript' defer="defer" src='//ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js'></script>
		<script type='text/javascript' defer="defer" src='//current.bootstrapcdn.com/bootstrap-v204/js/bootstrap.min.js'></script>
<? if( array_key_exists( "debug", $_GET ) ) { ?>
		<script type='text/javascript' defer="defer" src='vendor/jsPlumb/build/1.3.9/js/jquery.jsPlumb-1.3.9-all-min.js'></script>
		<script type='text/javascript' defer="defer" src='vendor/fancyBox/source/jquery.fancybox.js'></script>
		<script type='text/javascript' defer="defer" src='vendor/jQuery-contextMenu/src/jquery.contextMenu.js'></script>
		<script type="text/javascript" defer="defer" src="//cdnjs.cloudflare.com/ajax/libs/less.js/1.3.0/less-1.3.0.min.js"></script>
		<script type="text/coffeescript" src="main.coffee"></script>
		<script type="text/javascript" defer="defer" src="//cdnjs.cloudflare.com/ajax/libs/coffee-script/1.3.1/coffee-script.min.js"></script>
<? } else { ?>
		<script type='text/javascript' defer="defer" src='build.js?_t=<? print filemtime( __DIR__."/build.js" ) ?>'></script>
<? } ?>
	</head>
	<body onunload="jsPlumb.unload();">
		<div class="navbar navbar-fixed-top">
			<div class="navbar-inner">
				<div class="container">
					<a class="brand" href="javascript:void(0);">Regex Engine</a>
					<ul class="nav">
						<li class="active"><a class="tab_link" data-tab="main" href="javascript:void(0);">Home</a></li>
						<li><a class="tab_link" data-tab="help" href="javascript:void(0);">Help</a></li>
					</ul>
				</div>
			</div>
		</div>
		<div id="google_ads_container">
			<div>
				<script type="text/javascript"><!--
					google_ad_client = "ca-pub-0523377891461555";
					/* RegexEngine */
					google_ad_slot = "4315264425";
					google_ad_width = 120;
					google_ad_height = 600;
					//-->
				</script>
				<script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/show_ads.js"></script>
			</div>
		</div>
		<div id="tab_container">
			<div id="tab_main">
				<? require( "main.html" ); ?>
			</div>
			<div id="tab_help" style="display: none;">
				<? require( "help.html" ); ?>
			</div>
		</div>
		<script type="text/javascript">
			var _gaq = _gaq || [];
			_gaq.push(['_setAccount', 'UA-1951849-10']);
			_gaq.push(['_trackPageview']);
			(function() {
				var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
				ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
				var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
			})();
		</script>
	</body>
</html>