On 3/15/2012 8:52 AM, Petr Vobornik wrote: > Attached updated patch with totally different approach (thanks Endi). > > This patch moves extension.js to new directory: 'ext'. Ext directory > should serve as a place for user extensions. > > It eliminated the problem. ACK. -- Endi S. Dewata