<?php
##########################  Text English #################################

$txt_timers              = "Timers";
$txt_timer_info          = "Menu timer info";
$txt_suchtimer           = "Search timer";
$txt_epgsearchdone       = "epgsearchdone";
$txt_epgsearchdone_admin = "epgsearchdone Admin";
?>
