Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <?php
- require('../config.php');
- $css = '';
- $files = explode(',', $_SERVER['QUERY_STRING']);
- if(sizeof($files)) {
- header('Content-type: text/css');
- foreach($files as $file) {
- $css.= (is_file($file.'.css') ? file_get_contents($file.'.css') : '');
- }
- echo str_replace(
- array(
- ': ',
- '; ',
- '} ',
- ' }',
- '{ ',
- ' {'
- ), array(
- ':',
- ';',
- '}',
- '}',
- '{',
- '{'
- ),
- str_replace(
- array(
- "\r\n",
- "\r",
- "\n",
- "\t",
- ' ',
- ' ',
- ' '),
- "",
- preg_replace(
- '!/\*[^*]*\*+([^/][^*]*\*+)*/!',
- '',
- $css
- )
- )
- );
- }
- else header('HTTP/1.0 404 Not Found');
- ?>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement