6 <?php if (!empty($title)) : ?>
8 <?php elseif (isset($entry)) : ?>
13 <?php if (isset($baseUrl)) : ?>
14 <base href="<?= $baseUrl ?>">
15 <meta http-equiv="Content-Location" content="<?= $baseUrl . $ref ?>">
16 <link rel="stylesheet" href="index.css">
18 <style type="text/css">
19 <?= file_get_contents(__DIR__."/../public/index.css"); ?>
23 <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
26 <?php include __DIR__."/sidebar.phtml" ?>
27 <?php if (isset($exception)) : ?>
28 <?= \mdref\ExceptionHandler::htmlException($exception) ?>
29 <?php elseif (isset($entry)) : ?>
30 <?php include __DIR__."/mdref.phtml" ?>
32 <?php include __DIR__."/index.phtml" ?>
35 <?php if (@$_SERVER["SERVER_NAME"] != "localhost") : ?>
36 <div id="disqus_thread"></div>
38 var disqus_shortname = 'mdref';
39 var disqus_identifier = '<?=$ref?>';
41 var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
42 dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
43 (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
49 <?php include __DIR__."/footer.phtml" ?>
51 <?php if (isset($baseUrl)) : ?>
52 <script src="index.js"></script>
54 <script type="application/javascript">
55 <?= file_get_contents(__DIR__."/../public/index.js"); ?>