PHP에서 redirect를 할 때 return을 붙일 필요가 있을까요?

cleansugar의 이미지

PHP에서 redirect를 하면 함수를 종료하는 기능이 있는데요.

여기에 return redirect처럼 앞에 리턴을 붙일 필요가 있을까요?

어떤 방법이 더 메모리와 시간을 아끼는 걸까요?