in der index.html sind die Verweise auf die PHP-Datei drin. Jedesmal wenn du einen Link aufrufst wird das PHP-Skript aufgerufen mit der Übergabe eines Wertes (what=1). Dieser Wert wird in der PHP Datei übernommen bzw es wird ein Dateiname erstellt:
$filename = "docs/".$files[$_GET[what]];
Erklärung:
docs/ ==> Verzeichnis wo das Pdf steht
.$files ==> wird ein Array-Element angehängt (in dem Array sind die einzelnen Dateinamen gespeichert)
[$_GET[what]] ==> die erste öffnende und letzte schließende Klammer stehen für den Elementwert des Array. Innerhalb dieser Klammern wird der übergebene Wert durch GET übernommen.
Den Rest kann ich dir auch nicht so hundertprozentig erklären, ist halt das Teil das zum "Speichern" Aufruf führt
Achja, schon einmal überlegt wie Du dieses Skript testen willst? Bzw. unterstützt dein webserver PHP ?
Gruß
Matthias