Update WikimediaMaintenance to 1.25wmf3 HEAD

Change-Id: I18a8c1b873c1e9f814fdf52ef0bf1c26e07ad2e0