Replace <tt> with <code>

The <tt>-tag doesn't exists anymore in HTML5

Author: Croydon

git-php.php

@@ -256,7 +256,7 @@
  to participate in any discussion your patch generates! Your patch may
  not get noticed the first time. Make sure that when you send your patch, you
  explain what it does. Make sure you use a clear subject when sending your
- patch (you might even want to prefix it with <tt>"[PATCH]"</tt>). If nobody
+ patch (you might even want to prefix it with <code>"[PATCH]"</code>). If nobody
  seems to take notice after a few days, you might want to try resubmitting it.
  Your original message might have gotten missed because of another heated
  discussion.

manual/add-note.php

@@ -302,8 +302,8 @@
       address. You may still want to include a part in the email address
       that is understandable only by humans as our conversion can be performed in
       the opposite direction. You may submit your email address as
-      <tt>[email protected]</tt> for example (which will be displayed
-      as <tt>user at NOSPAM dot example dot com</tt>. If we remove your note we can
+      <code>[email protected]</code> for example (which will be displayed
+      as <code>user at NOSPAM dot example dot com</code>. If we remove your note we can
       only send an email if you use your real email address.
     </p>
   </section>