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

{$plugin.devtools.version_clean}

{if $plugin.devtools.switch_deleted}

{$plugin.devtools.version_deleted}

{else}

{$plugin.devtools.text1}

{$plugin.devtools.warnung}

{$plugin.devtools.text1_b}

{/if}
{**} {include file=foot.inc.html} {/if}