diff --git a/download-docs.php b/download-docs.php index f85a3bd42..d1fec744c 100644 --- a/download-docs.php +++ b/download-docs.php @@ -9,6 +9,15 @@ You can read the is various languages, even in printer friendly HTML format.
+ ++If you are using a capable browser, the file size and +date will show up when you move the mouse above the link. +If you use another browser, or would like to see all the +information, you can click +here to see all the file sizes and dates. +
'; commonHeader("Download documentation"); @@ -33,13 +42,10 @@ $formats = array(The PHP manual is available in a selection of languages -and formats. Pick a language and format from the table below. -Tip: If you are using a capable browser, the file size and -date will show up when you move the mouse above the link. -If you use another browser, or would like to see all the -information, you can click -here to see all the file sizes and dates. +
+The PHP manual is available in a selection of languages +and formats. Pick a language and format from the table below +to start downloading.