Merge branch 'master-1.3.x'

dregad · dregad · commit b7054274ee02 · 2017-09-14T17:03:36.000+02:00
diff --git a/Source/pages/repo_manage_page.php b/Source/pages/repo_manage_page.php
@@ -18,7 +18,6 @@ function display_strategies( $p_type=null ) {
 	$t_strategies = array();
 	if ( is_null( $p_type ) ) {
 		$t_strategies[] = array( 0, 'select_one' );
-		echo '<option value="0">', plugin_lang_get( 'select_one' ), '</option>';
 	}
 	$t_strategies[] = array( SOURCE_EXPLICIT, 'mapping_explicit' );
 	if( !Source_PVM() ) {

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,6 @@ function display_strategies( $p_type=null ) {`
`18`	`18`	`$t_strategies = array();`
`19`	`19`	`if ( is_null( $p_type ) ) {`
`20`	`20`	`$t_strategies[] = array( 0, 'select_one' );`
`21`		`- echo '<option value="0">', plugin_lang_get( 'select_one' ), '</option>';`
`22`	`21`	`}`
`23`	`22`	`$t_strategies[] = array( SOURCE_EXPLICIT, 'mapping_explicit' );`
`24`	`23`	`if( !Source_PVM() ) {`