Mark down <-> HTML conversion for PHP