Wordpress/wp-admin/wp-quicktags.php

<script src="wp-quicktags.js" language="JavaScript" type="text/javascript"></script>
<script language="JavaScript">edToolbar();</script>