{if $IS_ADMIN}{**} {**} {include file=head.inc.utf8.html} {include file=menu.inc.html}

{$plugin.devtools.debug_optionen}

{if $debug_message}

{$debug_message}

{else} {$plugin.devtools.text6} {$plugin.devtools.text6a}
{$plugin.devtools.text7}
{$plugin.devtools.text8}
{$plugin.devtools.text9}
{$plugin.devtools.text_db_charset_setzen}
{$plugin.devtools.text_article_searchfield}
{$plugin.devtools.text_article_seitenbaum}
{$plugin.devtools.gen_article_language_entries_msg}
{/if}
{**} {include file=foot.inc.html} {/if}