Manchmal ist es nützlich kurz eine Übersicht zu erhalten, welche CSS-IDs in einer HTML-Datei benutzt werden.
Dazu habe ich ein kleines PHP-Script geschrieben, um die ID-Namen zu extrahieren. Das Script ist auf PHP-Basis. Ihr müsst dazu also PHP installiert haben. Das Script steht in Listing 1.
Listing 1 - Css IDs extrahieren
Download Code!
/**
* Extrahiert alle CSS-IDs aus einer Datei
*
* @param string $file
* @return string Ergebnis
*/
function extractCSSID($file) {
// Existiert die Datei?
// Datei einlesen
// Regulären Ausdruch andwenden um die CSS-IDs aus dem Inhalt zu extrahieren
if(!isset($match[0])) return false; // Sortierung nach Namen
// Rückgabe als String durch Zeilenumbruch getrennt.
}