Wie ist das Plugin-Verzeichnis von Wordpress gemacht?

Womit ist eigentlich das Plugin-Verzeichnis auf wordpress.org gemacht? Ich hätte so ein Verzeichnis (für ganz andere Dinge) auch gern – nur womit eben?

( Und ich schwöre, dass ich nach der Antwort sowohl im Forum als auch bei Google erfolglos gesucht habe. )

 

Eher, welches Directory Plugin dort verwendet wird. Ich habe mir so einige angesehen und zwei so leidlich im Einsatz, aber so schön wie das auf wp.org ist eben keins – deshalb die Frage.

 

Vielen, vielen Dank! Das Plugin ist um Längen einfacher und zielführender als die, die ich bisher ausgiebieger getestet hatte (Sabai Directory und GeoDirectory). Letzteres hatte ich schon im anfänglichen Einsatz, aber eine Erweiterung davon zerlegt mir mein Theme, z.B. Danke also!