view.php bug for PHP72 error OR No Result Text may not be working for a whileBrowser Info Environment
You need to change from
<?php if (count($pages) == 0): ?>
<?php if (count($controller->pages) == 0): ?>
Otherwise you get the following error on PHP7.2 which you can now only use count() for array.
I think No Result Text function was not working for a while.