Ticket #27127: plugins.diff

wp-admin/plugins.php

@@ -444 +444 @@
 
 <?php $wp_list_table->display(); ?>
 </form>
+<script type="text/javascript">
+    jQuery("#plugin-search-input").keyup(function(){
+ 
+        // Retrieve the input field text and reset the count to zero
+        var filter = $(this).val()
+ 
+        // Loop through the comment list
+        $("#the-list tr").each(function(){
+ 
+            // If the list item does not contain the text phrase fade it out
+            if ($(this).text().search(new RegExp(filter, "i")) < 0) {
+                $(this).fadeOut(100);
+ 
+            // Show the list item if the phrase matches and increase the count by 1
+            } else {
+                $(this).show();
+                
+            }
+        });
 
+    });
+ 
+</script>
+
 </div>
 
 <?php