#!/bin/sh
php -r 'echo trim(preg_replace("/\n\s+/", " ", file_get_contents("php://stdin"))) . "\n";'