ผักแขนง

Does anyone know what vegetable ผักแขนง (as used in Thailand) refers to, in English? Wikipedia redirects to the cabbage article, but I hear it refers to a small, brussels sprouts kind of thing.