7 lines
		
	
	
	
		
			122 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			7 lines
		
	
	
	
		
			122 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
#!/bin/sh
 | 
						|
 | 
						|
file="$(mktemp --tmpdir=/dev/shm).php"
 | 
						|
cat - >"$file"
 | 
						|
./vendor/bin/pint --quiet "$file"
 | 
						|
cat "$file"
 | 
						|
rm "$file"
 |