mirror editing option was only added to extrude so mirror editing would always be disabled. the option is now hidden to avoid confusing users.
mirror editing option was only added to extrude so mirror editing would always be disabled. the option is now hidden to avoid confusing users.