回答編集履歴

  他にもっとスマートなやり方があるかもしれないですが原始的には下記のような感じで取得できると思います。

  <script>

  let x=<?=isset($_POST['machineid'])?>;

  </script>