{
  "name": "local/priority-php85-pdf-compatibility",
  "description": "Pinned PDF renderer for the isolated PHP 8.5 compatibility copy",
  "require": {
    "dompdf/dompdf": "3.1.6"
  },
  "config": {
    "allow-plugins": false,
    "platform": {
      "php": "8.5.12"
    },
    "sort-packages": true
  }
}