Description:
------------
The error that is issued trying to modify a read-only attribute of XMLReader points to main(). (Probably php_error_docref?)

(Given that read-only properties are not yet implemented, I assumed that it's an extension-specific bug.)

Reproduce code:
---------------
<?php
$reader = new XMLReader;
$reader->isEmptyElement = null;
?>

Expected result:
----------------
Warning: Cannot write to read-only property in %s on line %d

Actual result:
--------------
Warning: main() [function.main.html]: Cannot write to read-only property in %s on line %d