Indent and de-indent multiline strings in PHP

indent.php

<?php

function dedent($str)
{
    $parts = array_filter(explode("\n", $str), function($part) {
        return trim($part);
    });
    $spaces = min(array_map(function($part) {
        preg_match('#^ *#', $part, $matches);
        return strlen($matches[0]);
    }, $parts));
    $parts = array_map(function($part) use ($spaces) {
        return substr($part, $spaces);
    }, $parts);
    return implode("\n", $parts);
}

function indent($str, $spaces) {
    $parts = array_filter(explode("\n", $str));
    $parts = array_map(function ($part) use ($spaces) {
        return str_repeat(' ', $spaces).$part;
    }, $parts);
    return implode("\n", $parts);
}

@michaeljoseph Sure should, thanks!