Update index.php

Author: wehowski

public/index.php

@@ -178,6 +178,10 @@ function cleanArray($didYouMeans){
 			$FileAll = (new \Nette\PhpGenerator\Extractor(file_get_contents($file)))->extractAll();
 			$code = (new \Nette\PhpGenerator\PsrPrinter)->printFile($FileAll);
 
+			if(isset($_SERVER['HTTP_X_SOURCE_ENCODING']) && 'b64' === $_SERVER['HTTP_X_SOURCE_ENCODING'] ){
+				$code = base64_encode($code);
+			}
+			
 			header('Content-Type: text/plain');
 
 
@@ -258,6 +262,10 @@ function cleanArray($didYouMeans){
 		    	$outPut = file_get_contents($file);
 			}
 
+			if(isset($_SERVER['HTTP_X_SOURCE_ENCODING']) && 'b64' === $_SERVER['HTTP_X_SOURCE_ENCODING'] ){
+				$outPut = base64_encode($outPut);
+			}
+			
 
 			header('Content-Type: text/plain');