Admin::insert_plugin_settings_link( $links, $file )
Source
File: classes/Admin.php
public function insert_plugin_settings_link( $links, $file ) {
if ( $file === DOZENT_BASENAME ) {
$links[] = '<a href="' . admin_url( 'options-general.php?page=dozent' ) . '">' . __( 'Settings', 'dozent' )
. '</a>';
}
return $links;
}