hrtime : fix XML by converting para to simpara tags via script

Author: Girgias

reference/hrtime/configure.xml

@@ -1,21 +1,18 @@
 <?xml version="1.0" encoding="utf-8"?>
-<!-- EN-Revision: 20b247bdcf6ff0de38649f059a830d7c62123dcc Maintainer: ktretyak Status: ready -->
+<!-- EN-Revision: 3e7e14916c28630bce69e65f539d27bb96a90066 Maintainer: ktretyak Status: ready -->
 <!-- $Revision$ -->
-
-<section xml:id="hrtime.installation" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink">
+<section xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="hrtime.installation">
  &reftitle.install;
 
- <para>
+ <simpara>
   Використовуйте <option role="configure">--with-hrtime[=DIR]</option> при збірці PHP.
- </para>
+ </simpara>
 
- <para>
+ <simpara>
   Користувачам Windows потрібно включати <filename>php_hrtime.dll</filename> в &php.ini;
- </para>
+ </simpara>
 
 </section>
-
-
 <!-- Keep this comment at the end of the file
 Local variables:
 mode: sgml