diff --git a/html/user/download.php b/html/user/download.php index 77d80f7e6b..0fe3e9ab91 100644 --- a/html/user/download.php +++ b/html/user/download.php @@ -66,15 +66,15 @@ function show_download_page() { $dlv .= " version " . version_string_maj_min_rel($mcv). " or later"; } - $verb = "is"; + $verb = "this is"; if ($need_vbox) { $dl .= " and VirtualBox"; $dlv .= " and VirtualBox"; - $verb = "are"; + $verb = "these are"; } echo "To participate in ".PROJECT.", $dlv must be installed.
- If $dlv $verb already installed, click here. + If $verb already installed, click here. Otherwise
"; show_button("download.php?action=download", "Download $dl"); @@ -92,13 +92,14 @@ function show_download_page() { // function show_installed_page($user) { $url = concierge_url($user, false); - page_head("Add this project"); + page_head("Add project"); echo " - To add this project: + To start running ".PROJECT." on this computer: