XmlDumpWriter: Remove unused variable from writeText()
[mediawiki.git] / .phan / 
tree81e100b55ac7a23a3136d2a6eb32df5c50966504
drwxr-xr-x   ..
-rw-r--r-- 6712 config.php
drwxr-xr-x - internal_stubs
drwxr-xr-x - stubs