Update developer.php

Tiny fix.