Да, все верно
Я не думаю что можно поменять исходники php кода в dumper.php - для этого нужны какие нибудь да права, а не тупо nobody