An old vertical tab extension for Ext JS 2.0