diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-includes/class-wp-paused-extensions-storage.php
--- a/wp/wp-includes/class-wp-paused-extensions-storage.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/class-wp-paused-extensions-storage.php	Tue Dec 15 13:49:49 2020 +0100
@@ -3,7 +3,7 @@
  * Error Protection API: WP_Paused_Extensions_Storage class
  *
  * @package WordPress
- * @since   5.2.0
+ * @since 5.2.0
  */
 
 /**
@@ -80,7 +80,6 @@
 	 * @since 5.2.0
 	 *
 	 * @param string $extension Plugin or theme directory name.
-	 *
 	 * @return bool True on success, false on failure.
 	 */
 	public function delete( $extension ) {
@@ -121,7 +120,6 @@
 	 * @since 5.2.0
 	 *
 	 * @param string $extension Plugin or theme directory name.
-	 *
 	 * @return array|null Error that is stored, or null if the extension is not paused.
 	 */
 	public function get( $extension ) {