Codezeilen mit dem Tag nummerieren?

Das WordPress-Tag wird verwendet, um Code auf einer Seite anzuzeigen (siehe: http://themeforecom.com/demo2/2011/09/12/code-tags-in-post/ ), aber es fällt mir schwer, eine function zu finden das wird die Zeilen des Codes nummerieren, wie auf http://themeshaper.com/2009/07/02/wordpress-theme-search-page-template-tutorial/

Weiß jemand, wo diese function zu finden ist?

Solutions Collecting From Web of "Codezeilen mit dem Tag nummerieren?"