6 <?php if (!empty($title)) : ?>
11 <base href="<?= $baseUrl ?>">
12 <link rel="stylesheet" href="index.css">
13 <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
16 <?php include __DIR__."/sidebar.phtml" ?>
18 <?php if (isset($html)) : ?>
19 <?php include __DIR__."/mdref.phtml" ?>
21 <?php include __DIR__."/index.phtml" ?>
24 <?php if ($_SERVER["SERVER_NAME"] != "localhost2") : ?>
25 <div id="disqus_thread"></div>
27 var disqus_shortname = 'mdref';
28 var disqus_identifier = '<?=$permUrl?>';
30 var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
31 dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
32 (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
38 <?php include __DIR__."/footer.phtml" ?>
40 <script src="index.js"></script>