From 2ecab1a194b0dc551b478820e1aaa3b8713354cc Mon Sep 17 00:00:00 2001
From: Timothy Pearson <kb9vqf@pearsoncomputing.net>
Date: Wed, 16 Nov 2011 13:53:18 -0600
Subject: Additional renaming of kde to tde

---
 languages/php/doc/php.toc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'languages/php/doc/php.toc')

diff --git a/languages/php/doc/php.toc b/languages/php/doc/php.toc
index b665d5c7..1c3e6db3 100644
--- a/languages/php/doc/php.toc
+++ b/languages/php/doc/php.toc
@@ -1,5 +1,5 @@
-<!DOCTYPE kdeveloptoc>
-<kdeveloptoc>
+<!DOCTYPE tdeveloptoc>
+<tdeveloptoc>
 <title>PHP Manual</title>
 <base href="http://www.php.net/manual/en/"/>
 <tocsect1 name="PHP Manual" url="manual.php">
@@ -7066,4 +7066,4 @@
 <entry name="counter_get_meta" url="internals2.counter.function.counter-get-meta.php"/>
 <entry name="counter_get_named" url="internals2.counter.function.counter-get-named.php"/>
 </index>
-</kdeveloptoc>
+</tdeveloptoc>
-- 
cgit v1.2.3