Parameters with duplicate names are not allowed anymore in PHP7.