mircobabini
4/24/2013 - 8:57 AM

Dedicato a chi non mette lo spazio prima delle parentesi. Con immenso odio, M.

Dedicato a chi non mette lo spazio prima delle parentesi.

Con immenso odio, M.

fill-the-space.php
content_copyfile_download
<?
$input = "input.java";
$c = file_get_contents ($input);	// get the mess
$c = str_replace ('(', " (", $c);	// fill the space
$c = preg_replace ('#\s\s+\(#', " (", $c);	// remove multiple spaces
file_put_contents ("output.java", $c);		// spread the world

// one day you will regret it