Fix problem with developers.php
1 file changed