PHP: default args managment