added support for Sencha Animator 1.5; removed 'function!' replacement security-workaround