Documentation: wrong script launching php's built-in web server

Command should be:
php app/console server:run 0.0.0.0:8080

This one doesn't exists:
php app/dev server:run 0.0.0.0:8080