Армия обороны Израиля нанесла удар по военным объектам в Сирии ночью 10 ноября.