Update dev.php

Corrected name.