php.rst
changeset 1334 9bf0d5a1f0cf
parent 1206 c52cd5d0e9ed
child 1346 a2fbf50a43f4
--- a/php.rst	Fri Jul 13 22:02:58 2012 +0300
+++ b/php.rst	Fri Jul 13 22:32:19 2012 +0300
@@ -1,4 +1,5 @@
 .. -*- coding: utf-8; -*-
+.. include:: HEADER.rst
 
 ======
  PHP.