(see bug 29712) Removing the defaultUserOptionOverrides in MessagesXx.php because...