<?php

function explode_lines($source)
{
    return preg_split('/((\r?\n)|(\r\n?))/', $source);
}