This change is obsolete with https://github.com/geoext/geoext/commit/814f6d599c8f15065dcc70e5e5ebadda20ad09ca