There is another version
Opera Mini New 7.6.40234
This is an old version of Opera Mini for old phones, it's probably also a legacy version. Current one, for Phones with Android, is 20.
Which will it be replace by ?
The same, I guess. It will depend on the device.