diff -r 7b1b88e27a20 -r 48c4eec2b7e6 wp/wp-admin/plugin-editor.php --- a/wp/wp-admin/plugin-editor.php Thu Sep 29 08:06:27 2022 +0200 +++ b/wp/wp-admin/plugin-editor.php Fri Sep 05 18:40:08 2025 +0200 @@ -29,7 +29,15 @@ ?>

-

+ 'message', + 'additional_classes' => array( 'error' ), + ) + ); + ?>
set_help_sidebar( '

' . __( 'For more information:' ) . '

' . - '

' . __( 'Documentation on Editing Plugins' ) . '

' . + '

' . __( 'Documentation on Editing Plugins' ) . '

' . '

' . __( 'Documentation on Writing Plugins' ) . '

' . - '

' . __( 'Support' ) . '

' + '

' . __( 'Support forums' ) . '

' ); $settings = array( @@ -162,15 +170,17 @@ $content = file_get_contents( $real_file ); } -if ( '.php' === substr( $real_file, strrpos( $real_file, '.' ) ) ) { +if ( str_ends_with( $real_file, '.php' ) ) { $functions = wp_doc_link_parse( $content ); if ( ! empty( $functions ) ) { $docs_select = ''; } } @@ -180,16 +190,29 @@

- -
-

-
- -
-

-
get_error_message() ? $edit_error->get_error_message() : $edit_error->get_error_code() ); ?>
-
- + array( 'updated', 'is-dismissible' ), + 'id' => 'message', + ) + ); +elseif ( is_wp_error( $edit_error ) ) : + $error = esc_html( $edit_error->get_error_message() ? $edit_error->get_error_message() : $edit_error->get_error_code() ); + $message = '

' . __( 'There was an error while trying to update the file. You may need to fix something and try updating again.' ) . '

+
' . $error . '
'; + wp_admin_notice( + $message, + array( + 'type' => 'error', + 'id' => 'message', + 'paragraph_wrap' => false, + ) + ); +endif; +?>
@@ -272,17 +295,23 @@
- +
- -
-

Warning: Making changes to active plugins is not recommended.' ); ?>

-
- + Warning: Making changes to active plugins is not recommended.' ), + array( + 'type' => 'warning', + 'additional_classes' => array( 'inline', 'active-plugin-edit-warning' ), + ) + ); + } + ?>

@@ -294,7 +323,7 @@ printf( /* translators: %s: Documentation URL. */ __( 'You need to make this file writable before you can save your changes. See Changing File Permissions for more information.' ), - __( 'https://wordpress.org/support/article/changing-file-permissions/' ) + __( 'https://developer.wordpress.org/advanced-administration/server/file-permissions/' ) ); ?>