Andrew

Looks like you need to rebuild for the test files but otherwise seems good.

If there's no real consequence in Hack and you think readers will know ++ and -- by proxy of other languages, I'm fine with you closing this issue.

We could probably add that code here: https://github.com/hhvm/user-documentation/blob/main/src/markdown-extensions/PrettyCodeBlocksFilter.php#L45. Looks like the code string is split by lines into a vec. Maybe we could append a number if the code sample...

> @AndrewDiMola this should probably be done in CSS. We don't want to break copy-and-paste for code snippets. Oh, I didn't even think about that. Good point.

Of particular interest is the rewording of the section description for Traits and Interfaces.

> Resources/Instructions https://developer.grammarly.com/plans - free tier available @jamiesiu - I manage the documentation for this Grammarly product. Let me know if you need any help; that is, if you're still...

+1 to this issue!

@unasuke let me know if you need help with this integration. I manage the documentation site 🙂.

@unasuke sorry for not following up on your earlier message. The Grammarly for Developers platform (Text Editor SDK) has been discontinued. Additionally, I am no longer associated with the company...

FYI - The underlying implementation now uses Wiktionary. That list was created before the migration. For more information: https://github.com/meetDeveloper/freeDictionaryAPI/issues/102