de40289b38
add more extensions to editable files GitOrigin-RevId: f2a52eee148a78c8cb3623f27e25f2e0801ef835
add more extensions to editable files GitOrigin-RevId: f2a52eee148a78c8cb3623f27e25f2e0801ef835