How can I export snippets to PHP for integrating into a plugin or theme?

Select the checkboxes next to the snippets you want to export, and then choose Download from the Bulk Actions menu and click Apply.

The generated PHP file will contain the exported snippets code, as well as their name and description in comments.