Bugfix: PHP doesn’t support overloading.