--- /dev/null
+<?php
+
+$basepath = dirname(__FILE__);
+
+function get_file($path) {
+
+ if ( function_exists('realpath') )
+ $path = realpath($path);
+
+ if ( ! $path || ! @is_file($path) )
+ return false;
+
+ return @file_get_contents($path);
+}
+
+$expires_offset = 31536000;
+
+header('Content-Type: application/x-javascript; charset=UTF-8');
+header('Vary: Accept-Encoding'); // Handle proxies
+header('Expires: ' . gmdate( "D, d M Y H:i:s", time() + $expires_offset ) . ' GMT');
+header("Cache-Control: public, max-age=$expires_offset");
+
+if ( isset($_GET['c']) && 1 == $_GET['c'] && false !== strpos( strtolower($_SERVER['HTTP_ACCEPT_ENCODING']), 'gzip') && ( $file = get_file($basepath . '/wp-tinymce.js.gz') ) ) {
+ header('Content-Encoding: gzip');
+ echo $file;
+} else {
+ echo get_file($basepath . '/wp-tinymce.js');
+}
+exit;