user-documentation icon indicating copy to clipboard operation
user-documentation copied to clipboard

Published 20 hours ago • verified publisher icon hhvm

Rename "Introduction" sections to "Contents"

Open kmeht opened this issue 6 years ago • 1 comments

The index page for every subsection is currently called "Introduction"; but given that it's just a table of contents, it would be more accurate to name it "Contents".

Please don't change anything below this point.

  • Build ID: 2019-03-08T20:07:04+0000:dc3e7ed5d57714a7e83c2aedbb04c60b26bab415
  • Page requested: /hack/generic-types-and-functions/type-erasure
  • Page requested at: Mon, 11 Mar 2019 17:27:50 +0000
  • Controller: GuidePageController

kmeht avatar Mar 11 '19 17:03 kmeht

we should probably actually write introductions again, even if brief , or replace these with codegen. As they are now, they're a maintainability problem

fredemmott avatar Mar 12 '19 18:03 fredemmott