Update MobileFrontend to wmf/1.23wmf9 tip

Change-Id: Ic44c352a849d3ea18396b8bb5b7b52400dea0846