Ticket #20985: fix-file_exists-warning.diff

wp-includes/theme.php

@@ -395 +395 @@
                                 foreach ( $sub_dirs as $sub_dir ) {
                                         if ( ! is_dir( $theme_root . '/' . $dir ) || $dir[0] == '.' || $dir == 'CVS' )
                                                 continue;
+                                        if ( ! is_dir( $theme_root . '/' . $dir . '/' . $sub_dir ) )
+                                                continue;
                                         if ( ! file_exists( $theme_root . '/' . $dir . '/' . $sub_dir . '/style.css' ) )
                                                 continue;
                                         $found_themes[ $dir . '/' . $sub_dir ] = array(
@@ -1685 +1687 @@
                 }());
         </script>
         <?php
-}
- No newline at end of file
+}