Extensions Docs Server: Apps titles should show "Apps" instead of "Extensions"

chrome/common/extensions/docs/server2/templates/private/header_body.html

Index: chrome/common/extensions/docs/server2/templates/private/header_body.html
diff --git a/chrome/common/extensions/docs/server2/templates/private/header_body.html b/chrome/common/extensions/docs/server2/templates/private/header_body.html
index 4f3a8f33ff4ad7ea85933cab60177f3e5840bb1b..923a1d36a9c1e8e8c5ca6a22f4f23115a0799647 100644
--- a/chrome/common/extensions/docs/server2/templates/private/header_body.html
+++ b/chrome/common/extensions/docs/server2/templates/private/header_body.html
@@ -19,19 +19,19 @@
 </div>
 <a id="gc-topnav-anchor"></a>
 <div id="gc-topnav">
-  <h1>Google Chrome Extensions</h1>
+  <h1>Google Chrome {{?is_apps}}Apps{{:}}Extensions{{/}}</h1>
   <ul id="home" class="gc-topnav-tabs">
     <li id="home_link">
       <a href="index.html" title="Google Chrome Extensions home page"><div>Home</div></a>
     </li>
     <li id="docs_link">
-      <a href="docs.html" title="Official Google Chrome Extensions documentation"><div>Docs</div></a>
+      <a href="docs.html" title="Official Google Chrome {{?is_apps}}Apps{{:}}Extensions{{/}} documentation"><div>Docs</div></a>
     </li>
     <li id="faq_link">
       <a href="faq.html" title="Answers to frequently asked questions about Google Chrome Extensions"><div>FAQ</div></a>

[not at google - send to devlin, 2012/08/10 04:44:34]

Looks like this will need to change too.

[cduvall, 2012/08/10 21:45:30]

Done.

     </li>
     <li id="samples_link">
-      <a href="samples.html" title="Sample extensions (with source code)"><div>Samples</div></a>
+      <a href="samples.html" title="Sample {{?is_apps}}apps{{:}}extensions{{/}} (with source code)"><div>Samples</div></a>

[not at google - send to devlin, 2012/08/10 04:44:34]

It's probably a typo that these are apps/extensions rather than Apps/Extensions

[cduvall, 2012/08/10 21:45:30]

Done.

     </li>
     <li id="group_link">
       <a href="http://groups.google.com/a/chromium.org/group/chromium-extensions" title="Google Chrome Extensions developer forum"><div>Group</div></a>

[not at google - send to devlin, 2012/08/10 04:44:34]

and here

[cduvall, 2012/08/10 21:45:30]

Done.