Plugin WordPress: Editor Search

Editor Search aggiunge una funzione di ricerca e “vai al numero di riga� agli editor dei temi e dei plugin che si trovano nella sezione amministrativa di WordPress 1.5.

[Traduzione da Blogging Pro]