CINXE.COM

<!DOCTYPE html> <html dir="ltr" lang="de"> <head> <meta charset="utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1" /> <title>phpBB.de - Knowledge Base - Vorgehensweise bei Anzeige der falschen Uhrzeit</title> <link rel="alternate" type="application/atom+xml" title="Feed - phpBB.de" href="/feed?sid=539c14888a959670437749421ab87ffc"> <link rel="alternate" type="application/atom+xml" title="Feed - Neuigkeiten" href="/feed/news?sid=539c14888a959670437749421ab87ffc"> <link rel="alternate" type="application/atom+xml" title="Feed - Neue Themen" href="/feed/topics?sid=539c14888a959670437749421ab87ffc"> <link rel="alternate" type="application/atom+xml" title="Feed - Aktive Themen" href="/feed/topics_active?sid=539c14888a959670437749421ab87ffc">  <link href="./../community/assets/css/font-awesome.min.css?assets_version=280" rel="stylesheet"> <link href="./../community/styles/prosilver/theme/stylesheet.css?assets_version=280" rel="stylesheet" /> <link href="./../community/styles/phpBBdev1/theme/stylesheet.css?assets_version=280" rel="stylesheet"> <link href="./../community/styles/phpBBdev1/theme/de/stylesheet.css?assets_version=280" rel="stylesheet"> <link href="./../community/styles/phpBBdev1/theme/images/favicon/mask-icon.svg?assets_version=280" rel="mask-icon" color="#3E647B" />  <link href="./../community/ext/kinerity/knowledgebase/styles/prosilver/theme/knowledgebase_controller.css?assets_version=280" rel="stylesheet" media="screen"> <link href="./../community/ext/phpbbde/pastebin/styles/prosilver/theme/pastebin.css?assets_version=280" rel="stylesheet" media="screen"> <link href="./../community/ext/rmcgirr83/contactadmin/styles/prosilver/theme/imageset.css?assets_version=280" rel="stylesheet" media="screen"> </head> <body id="phpbb" class="nojs notouch section-app/kb/viewarticle ltr "> <div id="wrap" class="wrap"> <a id="top" class="top-anchor" accesskey="t"></a> <div id="page-header"> <div class="headerbar" role="banner"> <div class="inner"> <div id="site-description" class="site-description"> <a id="logo" class="logo" href="./../" title="Startseite"> <span class="site_logo"></span> </a> <h1>phpBB.de</h1> <p>phpBB.de - Die deutsche phpBB-Community</p> <p class="skiplink"><a href="#start_here">Zum Inhalt</a></p> </div> <div id="search-box" class="search-box search-header" role="search"> <form action="./../community/search.php?sid=539c14888a959670437749421ab87ffc" method="get" id="search"> <fieldset> <input name="keywords" id="keywords" type="search" maxlength="128" title="Suche nach Wörtern" class="inputbox search tiny" size="20" value="" placeholder="Suche…" /> <button class="button button-search" type="submit" title="Suche"> <i class="icon fa-search fa-fw" aria-hidden="true"></i><span class="sr-only">Suche</span> </button> <a href="./../community/search.php?sid=539c14888a959670437749421ab87ffc" class="button button-search-end" title="Erweiterte Suche"> <i class="icon fa-cog fa-fw" aria-hidden="true"></i><span class="sr-only">Erweiterte Suche</span> </a> <input type="hidden" name="sid" value="539c14888a959670437749421ab87ffc" /> </fieldset> </form> </div> <div id="phpbbde_navigation" class="phpbbde_navigation"> <div class="menu-button"> <a href="#" id="navi-toggle" title="Menü anzeigen">Menü</a> </div> <ul id="mainnavi" class="mainnavi"> <li class="mainnavi-title">phpBB.de - Navigation</li> <li class="navi-button but-about"> <a href="./../phpbbde/?sid=539c14888a959670437749421ab87ffc"><span class="subnavi-toggle"></span>Über uns</a> <ul class="subnavi"> <li><a href="./../phpbbde/chronik/?sid=539c14888a959670437749421ab87ffc">phpBB.de-Chronik <span>Die Geschichte von phpBB.de in Wort und Bild</span></a></li> <li><a href="./../phpbbde/team/?sid=539c14888a959670437749421ab87ffc">Das Team <span>Erfahre mehr über das Team hinter phpBB.de</span></a></li> <li><a href="./../phpbbde/fragen/?sid=539c14888a959670437749421ab87ffc">Fragen an das Team <span>Ihr habt gefragt, wir haben geantwortet</span></a></li> <li><a href="/contactadmin?sid=539c14888a959670437749421ab87ffc">Kontaktformular <span>Formular zur Kontaktaufnahme mit dem phpBB.de-Team</span></a></li> <li><a href="./../phpbbde/impressum/?sid=539c14888a959670437749421ab87ffc">Impressum <span>Das phpBB.de-Impressum</span></a></li> </ul> </li> <li class="navi-button but-phpbb"> <a href="./../infos/?sid=539c14888a959670437749421ab87ffc"><span class="subnavi-toggle"></span>phpBB</a> <ul class="subnavi"> <li><a href="./../infos/?sid=539c14888a959670437749421ab87ffc">Infos über phpBB <span>Erfahre mehr über phpBB</span></a></li> <li><a href="./../infos/tour/?sid=539c14888a959670437749421ab87ffc">Die phpBB-Tour <span>Was ist phpBB und wo bekomme ich es?</span></a></li> <li><a href="./../infos/features/?sid=539c14888a959670437749421ab87ffc">Feature-Vergleich <span>Lerne alle Features kennen, die dir phpBB bietet</span></a></li> <li><a href="./../infos/anpassen/?sid=539c14888a959670437749421ab87ffc">phpBB anpassen <span>Nutze Erweiterungen und Styles, um phpBB deinen Wünschen anzupassen</span></a></li> <li><a href="./../infos/entwickler/3.3/?sid=539c14888a959670437749421ab87ffc">Informationen für Entwickler <span>phpBB-Projektarchiv, nützliche Links, ...</span></a></li> <li><a href="./../xref/3.3/?sid=539c14888a959670437749421ab87ffc">Cross-Referenz 3.3 <span>Cross-Referenz des phpBB-Quellcodes</span></a></li> </ul> </li> <li class="navi-button but-downloads"> <a href="./../downloads/?sid=539c14888a959670437749421ab87ffc"><span class="subnavi-toggle"></span>Downloads</a> <ul class="subnavi"> <li><a href="./../downloads/pakete/?sid=539c14888a959670437749421ab87ffc">phpBB-Pakete <span>Die aktuellen dt. Komplett- und Updatepakete von phpBB</span></a></li> <li><a href="./../downloads/sprachpakete/?sid=539c14888a959670437749421ab87ffc">Sprachpakete <span>Die aktuellen deutschen Sprachdateien für phpBB</span></a></li> <li><a href="./../downloads/entwicklung/?sid=539c14888a959670437749421ab87ffc">Entwicklung <span>Entwickler-Downloads</span></a></li> </ul> </li> <li class="navi-button but-docu"> <a href="./../support/?sid=539c14888a959670437749421ab87ffc"><span class="subnavi-toggle"> </span>Support</a> <ul class="subnavi"> <li><a href="./../support/doku/quickstart/3.3/?sid=539c14888a959670437749421ab87ffc">Schnelleinstieg <span>Erklärt dir die Einrichtung deines phpBB Boards</span></a></li> <li><a href="https://www.phpbb.de/help/faq">Häufig gestellte Fragen <span>Häufige Fragen im Zusammenhang mit der Nutzung von phpBB</span></a></li> <li><a href="./../kb/index?sid=539c14888a959670437749421ab87ffc">Knowledge Base <span>Unsere Wissensdatenbank mit vielen und hilfreichen Artikeln</span></a></li> <li><a href="./../support/videos/?sid=539c14888a959670437749421ab87ffc">Videos <span>Unsere Supportvideos erklären Funktionen von phpBB</span></a></li> <li><a href="./../support/doku/?sid=539c14888a959670437749421ab87ffc">Dokumentation <span>Hier findest Du Dokumentationen zu phpBB</span></a></li> <li><a href="./../support/doku/perror/?sid=539c14888a959670437749421ab87ffc">MySQL-Fehlercodes <span>Mysql Fehlercodes dokumentiert</span></a></li> <li><a href="./../support/doku/htpasswd/?sid=539c14888a959670437749421ab87ffc">.htpasswd-Generator <span>Einfach zu bedienener Generator für .htpasswd Dateien</span></a></li> </ul> </li> <li class="navi-button but-community"> <a href="./../community/?sid=539c14888a959670437749421ab87ffc"><span class="subnavi-toggle"> </span>Community</a> <ul class="subnavi"> <li><a href="./../community/viewforum.php?f=145&sid=539c14888a959670437749421ab87ffc">Supportforen <span>Hilfe bei der Installation und Benutzung</span></a></li> <li><a href="./../community/viewforum.php?f=104&sid=539c14888a959670437749421ab87ffc">Communityforen<span>Allgemeine Diskussionen und phpBB-Usergroups</span></a></li> <li><a href="./../community/viewforum.php?f=148&sid=539c14888a959670437749421ab87ffc">Extension-Foren<span>Auf der Suche nach einer Extension? Fragen zu einer Extension?</span></a></li> <li><a href="./../community/viewforum.php?f=152&sid=539c14888a959670437749421ab87ffc">Styleforen<span>Du suchst einen neuen Style oder hast Probleme mit einem Style?</span></a></li> <li><a href="./../kb/knigge?sid=539c14888a959670437749421ab87ffc">Der kleine phpBB.de-Knigge <span>Eine kleine Liste von wichtigen Regeln auf phpBB.de</span></a></li> <li><a href="./../phpbbde/chat/?sid=539c14888a959670437749421ab87ffc">Discord / Chat <span>Besuche den Discord-Server oder den Chat auf Freenode</span></a></li> </ul> </li> </ul> </div> </div> </div> <div class="navbar" role="navigation"> <div class="inner"> <ul id="nav-main" class="nav-main linklist" role="menubar"> <li id="quick-links" class="quick-links dropdown-container responsive-menu" data-skip-responsive="true"> <a href="#" class="dropdown-trigger"> <i class="icon fa-bars fa-fw" aria-hidden="true"></i><span>Schnellzugriff</span> </a> <div class="dropdown"> <div class="pointer"><div class="pointer-inner"></div></div> <ul class="dropdown-contents" role="menu"> <li class="separator"></li> <li> <a href="./../community/search.php?search_id=unanswered&sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-file-o fa-fw icon-gray" aria-hidden="true"></i><span>Unbeantwortete Themen</span> </a> </li> <li> <a href="./../community/search.php?search_id=active_topics&sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-file-o fa-fw icon-blue" aria-hidden="true"></i><span>Aktive Themen</span> </a> </li> <li class="separator"></li> <li> <a href="./../community/search.php?sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-search fa-fw" aria-hidden="true"></i><span>Suche</span> </a> </li> <li class="separator"></li> <li> <a href="./../phpbbde/team.php?sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-shield fa-fw" aria-hidden="true"></i><span>Das Team</span> </a> </li> <li class="separator"></li> </ul> </div> </li> <li data-skip-responsive="true"> <a href="./../help/faq?sid=539c14888a959670437749421ab87ffc" rel="help" title="Häufig gestellte Fragen" role="menuitem"> <i class="icon fa-question-circle fa-fw" aria-hidden="true"></i><span>FAQ</span> </a> </li> <li data-last-responsive="true"><a href="/pastebin/?sid=539c14888a959670437749421ab87ffc" title="Pastebin"><i class="icon fa-clipboard fa-fw" aria-hidden="true"></i><span>Pastebin</span></a></li> <li class="rightside" data-skip-responsive="true"> <a href="./../community/ucp.php?mode=login&redirect=..%2Fapp.php%2Fkb%2Fviewarticle%3Fa%3D105&sid=539c14888a959670437749421ab87ffc" title="Anmelden" accesskey="x" role="menuitem"> <i class="icon fa-power-off fa-fw" aria-hidden="true"></i><span>Anmelden</span> </a> </li> <li class="rightside" data-skip-responsive="true"> <a href="./../community/ucp.php?mode=register&sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-pencil-square-o fa-fw" aria-hidden="true"></i><span>Registrieren</span> </a> </li> </ul> <ul id="nav-breadcrumbs" class="nav-breadcrumbs linklist navlinks" role="menubar"> <li class="breadcrumbs" itemscope itemtype="https://schema.org/BreadcrumbList"> <span class="crumb" itemtype="https://schema.org/ListItem" itemprop="itemListElement" itemscope><a itemprop="item" href="./../" data-navbar-reference="home"><i class="icon fa-home fa-fw" aria-hidden="true"></i><span itemprop="name">Startseite</span></a><meta itemprop="position" content="1" /></span> <span class="crumb" itemtype="https://schema.org/ListItem" itemprop="itemListElement" itemscope><a itemprop="item" href="./../community/index.php?sid=539c14888a959670437749421ab87ffc" accesskey="h" data-navbar-reference="index"><span itemprop="name">Community</span></a><meta itemprop="position" content="2" /></span> <span class="crumb" itemtype="https://schema.org/ListItem" itemprop="itemListElement" itemscope><a itemprop="item" href="/kb/index?sid=539c14888a959670437749421ab87ffc"><span itemprop="name">Knowledge Base</span></a><meta itemprop="position" content="3" /></span> </li> <li class="rightside responsive-search"> <a href="./../community/search.php?sid=539c14888a959670437749421ab87ffc" title="Zeigt die erweiterten Suchoptionen an" role="menuitem"> <i class="icon fa-search fa-fw" aria-hidden="true"></i><span class="sr-only">Suche</span> </a> </li> </ul> </div> </div> </div> <a id="start_here" class="anchor"></a> <div id="page-body" class="page-body" role="main"> <div id="p105" class="post bg1"> <div class="inner"> <div class="article-body"> <div class="postbody"> <div id="post_content105"> <h2 class="article-title"><a href="/kb/viewarticle?a=105&sid=539c14888a959670437749421ab87ffc">Vorgehensweise bei Anzeige der falschen Uhrzeit</a></h2> <p class="article-meta"><strong>Geschrieben von:</strong> <a href="./../community/memberlist.php?mode=viewprofile&u=148351&sid=539c14888a959670437749421ab87ffc" style="color: #2B42AF;" class="username-coloured">Lehrling</a><br> <strong>Veröffentlicht am:</strong> 18.05.2020 08:54<br /> <strong>Zugriffe:</strong> 7138</p> <p class="article-description"><strong>Beschreibung:</strong> Wenn die angezeigte Uhrzeit im Forum nicht der tatsächlichen Uhrzeit entspricht, so kann dies verschiedene Ursachen haben.</p> <p class="article-categories"><strong>Kategorie:</strong> <a href="/kb/index?c=15&sid=539c14888a959670437749421ab87ffc">Allgemeine Funktionen</a></p> <div class="content"> <div class="codebox"> <p>Link zu diesem Artikel: <a href="#" onclick="selectCode(this); return false;">Alles auswählen</a></p> <code>[url=https://www.phpbb.de/kb/viewarticle?a=105&sid=539c14888a959670437749421ab87ffc]Knowledge Base - Vorgehensweise bei Anzeige der falschen Uhrzeit[/url]</code> </div> <hr> Wenn die angezeigte Uhrzeit im Forum nicht der tatsächlichen Uhrzeit entspricht, so kann dies verschiedene Ursachen haben. Im Folgenden sind einige Punkte genannt, die überprüft werden sollten.<br> <h4><a name="zeit_forum"></a>1. Die Zeitzoneneinstellung des Forums</h4> Die Zeitzoneneinstellung wird im eigenen Profil vorgenommen. Für Gäste gilt die Einstellung des Admin-Bereichs unter Allgemein --> Board-Einstellungen --> Zeitzone für Gäste. <br> Normalerweise ist die Einstellung für Deutschland UTC+1 (Europa/Berlin). Während der Sommerzeit ist automatisch UTC + 2 aktiv. Die Umstellung von normaler Zeit auf Sommerzeit und zurück erfolgt automatisch.<br> <h4><a name="zeit_server"></a>2. Die Zeiteinstellung des Servers</h4> Etwas schwieriger ist die Überprüfung der Zeiteinstellung des Servers - zumal ihr i.d.R. an der Konfiguration des Servers nichts ändern könnt.<br> Oft wird vergessen, dass eine richtige Zeit aus zwei Komponenten besteht:<ol style="list-style-type:decimal"><li>der Zeitzone und</li> <li>der für die Zeitzone gültigen Zeit</li></ol>Um zu überprüfen, wie die Uhr eures Servers konfiguriert ist, müsst ihr eine Datei time.php mit folgendem Inhalt erstellen:<div class="codebox"><p>Code: <a href="#" onclick="selectCode(this); return false;">Alles auswählen</a></p><pre><code><?php echo date('r'); ?></code></pre></div> Diese Datei speichert ihr, ladet sie dann auf euren Server und ruft sie mit dem Webbrowser auf. Wenn ihr alles richtig gemacht habt, bekommt ihr dann eine Ausgabe wie:<blockquote class="uncited"><div>Thu, 21 Dec 2000 16:01:07 +0200</div></blockquote> Der erste Teil gibt die aktuelle Zeit an - das Format dürfte allgemein bekannt sein. Der letzte Teil <strong class="text-strong">+0200</strong> gibt die Zeitzone relativ zur UTC an. Zuerst folgt der Operator, dann zweistellig die Stundenzahl und dann zweistellig die Minuten. In diesem Fall handelt es sich um UTC + 2 Stunden, bei <strong class="text-strong">-0330</strong> würde es sich um UTC - 3,5 h handeln.<br> <br> phpBB berücksichtigt die eingestellte Zeitzone. Daher ist es egal, auf welche Zeitzone der Server eingestellt ist - die Uhrzeit muss nur entsprechend richtig für diese Zeitzone eingestellt sein. Ein Beispiel: wenn die Zeitangabe oben richtig ist, dann sind auch folgende Angaben richtig: <blockquote class="uncited"><div>Thu, 21 Dec 2000 14:01:07 +0000</div></blockquote><blockquote class="uncited"><div><span style="text-decoration:underline">Fri</span>, 2<span style="text-decoration:underline">2</span> Dec 2000 00:01:07 +1000</div></blockquote> Um zu prüfen, ob bei eurem Server alles richtig ist, müsst ihr etwas rechnen. Nehmt dazu die aktuelle Zeit und zieht davon eine Stunde ab (während der Sommerzeit zwei Stunden). Nun erhaltet ihr die Zeitangabe in UTC. Dazu zählt ihr nun die Stunden, die bei euch als Zeitzone angezeigt wurden (wenn die Zeitzone mit einem Minus anfängt, so müsst ihr die Stunden natürlich abziehen). Wenn die angezeigte Zeit der entspricht, die ihr ausgerechnet habt, so ist alles in Ordnung. Ansonsten müsst ihr die Zeiteinstellungen eures Servers anpassen bzw. euren Provider kontaktieren, damit der das für euch macht.<br> <h4><a name="weiteres_beispiel"></a>Noch ein Beispiel</h4> Angenommen, ihr bekommt bei dem Test angezeigt<blockquote class="uncited"><div>Thu, 21 Dec 2000 16:01:07 +0200</div></blockquote>und es ist gerade 15:01:07. Wie prüft ihr, ob die ausgegebene Zeit richtig ist?<br> Zuerst zieht ihr von der aktuellen Zeit eine Stunde ab, so dass ihr UTC erhaltet (im Dezember haben wir ja Winterzeit). Das wären dann 14:01:07.<br> Dazu rechnet ihr nun zwei Stunden dazu, die euch bei dem Test angezeigt wurden, so dass ihr auf 16:01:07 kommt. Demnach würde die Uhr in diesem Fall richtig gehen. </div> </div> </div> </div> </div> </div> </div> <div id="page-footer" class="page-footer" role="contentinfo"> <div class="navbar" role="navigation"> <div class="inner"> <ul id="nav-footer" class="nav-footer linklist" role="menubar"> <li class="breadcrumbs"> <span class="crumb"><a href="./../" data-navbar-reference="home"><i class="icon fa-home fa-fw" aria-hidden="true"></i><span>Startseite</span></a></span> <span class="crumb"><a href="./../community/index.php?sid=539c14888a959670437749421ab87ffc" data-navbar-reference="index"><span>Community</span></a></span> </li> <li class="rightside">Alle Zeiten sind <span title="Europa/Berlin">UTC+01:00</span></li> <li class="rightside"> <a href="/user/delete_cookies?sid=539c14888a959670437749421ab87ffc" data-ajax="true" data-refresh="true" role="menuitem"> <i class="icon fa-trash fa-fw" aria-hidden="true"></i><span>Alle Cookies löschen</span> </a> </li> <li class="rightside" data-last-responsive="true"> <a href="./../phpbbde/impressum/?sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-info-circle fa-fw" aria-hidden="true"></i><span>Impressum </span> </a> </li> <li class="rightside" data-last-responsive="true"> <a href="./../phpbbde/team/?sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-shield fa-fw" aria-hidden="true"></i><span>Das Team</span> </a> </li> <li class="rightside" data-last-responsive="true"> <a href="/contactadmin?sid=539c14888a959670437749421ab87ffc" role="menuitem"> <i class="icon fa-envelope fa-fw" aria-hidden="true"></i><span>Kontakt</span> </a> </li> </ul> </div> </div> <div class="copyright"> <p class="footer-row"> <span class="footer-copyright">Powered by <a href="https://www.phpbb.com/">phpBB</a>® Forum Software © phpBB Limited</span> </p> <p class="footer-row"> <span class="footer-copyright">Deutsche Übersetzung durch <a href="https://www.phpbb.de/">phpBB.de</a></span> </p> <p class="footer-row" role="menu"> <a class="footer-link" href="./../community/ucp.php?mode=privacy&sid=539c14888a959670437749421ab87ffc" title="Datenschutz" role="menuitem"> <span class="footer-link-text">Datenschutz</span> </a> | <a class="footer-link" href="./../community/ucp.php?mode=terms&sid=539c14888a959670437749421ab87ffc" title="Nutzungsbedingungen" role="menuitem"> <span class="footer-link-text">Nutzungsbedingungen</span> </a> </p> <div class="sponsor-logo"> <a href="https://linevast.de/" rel="nofollow">hosted by Linevast.de <br> <img src="./../community/styles/phpBBdev1/theme/images/linevast.png" alt="Linevast.de" height="63" width="257"> </a> </div> </div> <div id="darkenwrapper" class="darkenwrapper" data-ajax-error-title="AJAX-Fehler" data-ajax-error-text="Bei der Verarbeitung deiner Anfrage ist ein Fehler aufgetreten." data-ajax-error-text-abort="Der Benutzer hat die Anfrage abgebrochen." data-ajax-error-text-timeout="Bei deiner Anfrage ist eine Zeitüberschreitung aufgetreten. Bitte versuche es erneut." data-ajax-error-text-parsererror="Bei deiner Anfrage ist etwas falsch gelaufen und der Server hat eine ungültige Antwort zurückgegeben."> <div id="darken" class="darken"> </div> </div> <div id="phpbb_alert" class="phpbb_alert" data-l-err="Fehler" data-l-timeout-processing-req="Bei der Anfrage ist eine Zeitüberschreitung aufgetreten."> <a href="#" class="alert_close"> <i class="icon fa-times-circle fa-fw" aria-hidden="true"></i> </a> <h3 class="alert_title"> </h3><p class="alert_text"></p> </div> <div id="phpbb_confirm" class="phpbb_alert"> <a href="#" class="alert_close"> <i class="icon fa-times-circle fa-fw" aria-hidden="true"></i> </a> <div class="alert_text"></div> </div> </div> </div> <div> <a id="bottom" class="anchor" accesskey="z"></a> </div> <script src="./../community/assets/javascript/jquery-3.7.1.min.js?assets_version=280"></script> <script src="./../community/assets/javascript/core.js?assets_version=280"></script> <script src="./../community/styles/phpBBdev1/template/forum_fn.js?assets_version=280"></script> <script src="./../community/styles/phpBBdev1/template/ajax.js?assets_version=280"></script> <script src="./../community/styles/phpBBdev1/template/phpbbde_navi.js?assets_version=280"></script> <script>(function(a){if(a.getElementsByTagName("pre").length){var c=a.getElementsByTagName("head")[0],b=a.createElement("script");a=a.createElement("link");b.type="text/javascript";b.onload=function(){hljs.initHighlighting()};b.async=!0;b.src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js";c.appendChild(b);a.type="text/css";a.rel="stylesheet";a.href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/github-gist.min.css";c.appendChild(a)}})(document)</script> </body> </html>