tvheadend/tvheadend — pull request #146 by xhaggi (2012-09-18 18:10:16+00:00)
Title: webui: 'Missing VLC plugin' panel reactivated + using ExtJS elements instead of plain HTMLElements

some more ExtJS optimizations