<map id="packages/gui/packages/timer_widget/include/" name="packages/gui/packages/timer_widget/include/">
<area shape="rect" id="node4" href="dir_262662a7c9078ad5d2b81a3f19d781d1.html" title="php" alt="" coords="37,63,109,111"/>
<area shape="rect" id="graph3" href="dir_63dc1e21c6a8d0c8719689b9839950cf.html" alt="" coords="27,52,216,121"/>
<area shape="rect" id="graph2" href="dir_b168389c957b77d19069a76d07168792.html" title="timer_widget" alt="" coords="16,16,227,132"/>
</map>
