Değirmencik — mahalle (administrative quarter) in Islahiye, Gaziantep, south-central Turkey