fix direct file access in dev.php

add txt extension for 'cli-server'