git.m6w6.name Git - mdref/mdref/blob - views/layout.phtml

   1 <!doctype html>
   2 <html>
   3         <head>
   4                 <meta charset="utf-8">
   5                 <title>
   6                         <?php if (!empty($title)) : ?>
   7                                 <?= $title ?> -
   8                         <?php elseif (isset($entry)) : ?>
   9                                 <?= $entry ?> -
  10                         <?php endif; ?>
  11                         mdref
  12                 </title>
  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">
  17                 <?php else: ?>
  18                         <style type="text/css">
  19                                 <?= file_get_contents(__DIR__."/../public/index.css"); ?>
  20                         </style>
  21                 <?php endif; ?>
  22
  23                 <script src="//ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
  24         </head>
  25         <body>
  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" ?>
  31                 <?php else: ?>
  32                         <?php include __DIR__."/index.phtml" ?>
  33                 <?php endif; ?>
  34
  35                 <?php if (@$_SERVER["SERVER_NAME"] != "localhost") : ?>
  36                 <div id="disqus_thread"></div>
  37                 <script>
  38                         var disqus_shortname = 'mdref';
  39                         var disqus_identifier = '<?=$ref?>';
  40                         (function() {
  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);
  44                         })();
  45                 </script>
  46                 <?php endif; ?>
  47
  48                 <footer>
  49                         <?php include __DIR__."/footer.phtml" ?>
  50                 </footer>
  51                 <?php if (isset($baseUrl)) : ?>
  52                         <script src="index.js"></script>
  53                 <?php else : ?>
  54                         <script type="application/javascript">
  55                                 <?= file_get_contents(__DIR__."/../public/index.js"); ?>
  56                         </script>
  57                 <?php endif; ?>
  58         </body>
  59 </html>