…oder auch: „What the File“ – so lautet der Name eines meiner liebsten Plugins als Entwickler von WordPress-Websites.
Was es bewirkt? Nun, das steht natürlich auf der Plugin-Seite – aber kurz zusammengefasst: es erleichtert die Anpassung per Childtheme enorm. Grade dadurch, dass Themes sehr unterschiedlich aufgebaut sind – manche verwenden nur die Standardtemplates, andere unterteilen noch feiner und…naja, von denen wo sich alles in der index.php abspielt wollen wir eigentlich nicht sprechen – sitzt man als Entwickler manches Mal davor und fragt sich „und welche Datei genau muss ich nun ins Childtheme kopieren und bearbeiten?“ – genau hier setzt dieses wundervolle Plugin an.
Die Voraussetzung ist natürlich, dass man in WordPress eingeloggt ist, aber sobald das der Fall ist: einfach mit der Maus über die kleine Einblendung oben gehen und sofort ist klar, um welche Dateien es sich handelt. Für mich nahezu unverzichtbar, quasi die Standardinstallation bei jeder Entwicklung – danach kann es natürlich wieder deinstalliert werden.