afaik it is not in the user-agent header, but Mini provides additional HTTP headers that describe the device, at least in some cases (when Java platform/vm provides it)
Opera Mini
Do more on the web, with a fast and secure browser!
Download Opera browser with:
Opera Mini