nxhtml/tests/in/indent-bug-html-mode.html

   1 <?xml version="1.0" encoding="iso-8859-1"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
   3 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
   4 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
   5 <head>
   6 <title>Indentation bug at &lt;</title>
   7 </head>
   8 <body>
   9 Try to indent the whole file several times.
  10 The first time both the html and the php code is badly indented.
  11 <div id="main">
  12 <?php
  13 for ($i = 0; $i < 4711; ++$i) {
  14 }
  15 ?>
  16 </div>
  17 </body>
  18 </html>