Jest pewnien problem o tyle o ile rozumiem jak to ma wyglądać w php to nie rozumiem nic z tego kodu java script

Ewentualnie mógłby mi ktoś łopatologicznie wytłumaczyć o co w tym biega?
Jaką w tym przypadku zmienną zwraca plik manual.php który jest wykorzystywany w linku podanym wyżej. Wszystko mylą mi te znaczki $, już w tym momencie nie wiem czy jest to zmienna w php czy nazwa zmiennej w JS.