src/infrastructure/javelin/markup.php