trigger_error('The "bin/commonmark" command has been deprecated since league/commonmark 1.4', E_USER_DEPRECATED);
ini_set('display_errors', 'stderr');
$options_raw = getopt('', array(
foreach ($options_raw as $option => $value) {
$options['html_input'] = 'strip';
$options['allow_unsafe_links'] = false;
if ($value !== true && $value !== false) {
fail("Invalid value '$value' for option '$option'");
$options[str_replace('-', '_', $option)] = $value;
foreach ($argv as $i => $arg) {
if (substr($arg, 0, 1) === '-') {