From e4c9a006db5aa6b15377210f37e098af296e4c47 Mon Sep 17 00:00:00 2001 From: "rlk%trfenv.com" Date: Fri, 9 Jan 2004 23:58:24 +0000 Subject: [PATCH] Bug 145056 - add new "Tools and Development" section in Mozilla Help. Patch by Daniel Wang (stolenclover@yahoo.com.tw). r=rlk@trfenv.com --- .../locale/en-US/developer_tools.xhtml | 69 +++++++++++++++++++ .../resources/locale/en-US/help-index1.rdf | 20 ++++++ .../help/resources/locale/en-US/help-toc.rdf | 20 ++++++ 3 files changed, 109 insertions(+) create mode 100644 extensions/help/resources/locale/en-US/developer_tools.xhtml diff --git a/extensions/help/resources/locale/en-US/developer_tools.xhtml b/extensions/help/resources/locale/en-US/developer_tools.xhtml new file mode 100644 index 000000000000..32ae8b5466d3 --- /dev/null +++ b/extensions/help/resources/locale/en-US/developer_tools.xhtml @@ -0,0 +1,69 @@ + + + %brandDTD; +] +> + + + + &brandShortName; Tools and Development + + + + + +

Web Development Tools

+ +

+For web developers, &brandShortName; provides several tools +to aid in developing and debugging Web applications. Some of these +are optional installs. To access these tools, open the +Tools menu and choose Web Development. +

+ + + + + \ No newline at end of file diff --git a/extensions/help/resources/locale/en-US/help-index1.rdf b/extensions/help/resources/locale/en-US/help-index1.rdf index 468a967d3a57..8dd3db652b5e 100644 --- a/extensions/help/resources/locale/en-US/help-index1.rdf +++ b/extensions/help/resources/locale/en-US/help-index1.rdf @@ -532,6 +532,11 @@ nc:name="Device Manager" nc:link="using_certs_help.html#Device_Manager:aboutIDX"/> + + + + + + + + + @@ -1322,6 +1337,11 @@ nc:name="Download Manager" nc:link="nav_help.html#Navigator:Download_ManagerIDX"/> + + + + + + + + + + + + + + + + + + + + + +