get_themes() Support for gzipped style.css

[anonymized_166966]

Please add support for style.css.gz and style.gz.css as theme default stylesheet file.

Core file: theme.php
Lines: 585 & 562

Before:

if ( $theme_file == 'style.css' ) {

After:

if ( in_array($theme_file, array('style.css', 'style.css.gz', 'style.gz.css')) ) {

[scribu]

You can easily do this by adding a filter to 'stylesheet_uri' (also located in wp-includes/theme.php).