At present available miui 10.3.1.0  is of lower security patch of may while as developer rom's security patch is june so We can not go to stable rom from developer rom of pie in redmi note 5 pro.