Function editMarkdown

contents/php.tsx:137–140

()

  }

  function editMarkdown() {
    const dom = document.querySelector(".phpscMain .php-article")
    setContent(dom, articleTitle)
  }

  function downloadMarkdown() {
    const html = document.querySelector(".phpscMain .php-article")