3 ms·

According to the developers of Opera, they have actually switched to Blink for Opera Mini pretty soon.