DokuWiki

(...)
var song_playing = document.querySelector("#player");

if (song_playing") {
  if (song_playing.paused) {
    songPlaying.play();
    e.target.id = "playing";
  } else {
    songPlaying.play();
    e.target.id = "paused";
  }
} else {
  (...) // previous code
}