1--TEST--
2Ensure that Dom\Node::$prefix is read-only
3--EXTENSIONS--
4dom
5--FILE--
6<?php
7$dom = Dom\HTMLDocument::createEmpty();
8$div = $dom->createElement('div');
9try {
10    $div->prefix = "foo";
11} catch (Error $e) {
12    echo $e->getMessage(), "\n";
13}
14echo $dom->saveXml();
15?>
16--EXPECT--
17Cannot modify readonly property Dom\HTMLElement::$prefix
18<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
19