Fixed build error of playground_ext. I don't think I've modified messages in any way.