Update options.php

If a setting is defined in wp-config.php, disable the respective field.

Author: Presskopp

src/wp-admin/options.php

@@ -416,6 +416,11 @@
 			$class    = 'all-options disabled';
 		}
 	} else {
+		if ( in_array( $option->option_name, [ 'siteurl', 'home' ], true ) && defined( 'WP_' . strtoupper( $option->option_name ) ) ) {
+			// If a setting is defined in wp-config.php, disable the respective field.
+			$disabled = true;
+		}
+
 		$value               = $option->option_value;
 		$options_to_update[] = $option->option_name;
 		$class               = 'all-options';