Merge pull request #8055 from nupplaphil/task/remove_get_server

Remove get_server() in favor of Search::getGlobalDirectory()

diff --cc boot.php
Simple merge

diff --cc src/Core/System.php
Simple merge

diff --cc view/theme/vier/theme.php
Simple merge