; <!-- $Id$ -->
; <?php exit('direct access denied') ?>

; *** This part is deprecated and will be moved/removed in one of the next versions.

; THIS FILE IS OUTDATED AND NOT USED ANY MORE!!!
;
; See file editor.ini.php section "html", setting "replace".
;
euro   = "EUR,&euro;"
copy   = "(c),&copy;"