[wp-meta] [Making WordPress.org] #563: Redirect phpdoc.wordpress.org

[Making WordPress.org]

#563: Redirect phpdoc.wordpress.org
--------------------------+-------------------------------------
  Reporter:  Clorith      |      Owner:
      Type:  enhancement  |     Status:  closed
  Priority:  normal       |  Component:  developer.wordpress.org
Resolution:  duplicate    |   Keywords:
--------------------------+-------------------------------------
Changes (by Otto42):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 Whether it is redirected or fixed is up for debate, but I think that
 debate should happen in the existing ticket: #426

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/563#comment:2>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org