From 7d5d2179d9aa9b17f97c0b4b98a7ae41d99b79bc Mon Sep 17 00:00:00 2001 From: zYne Date: Thu, 1 Mar 2007 22:41:41 +0000 Subject: [PATCH] updated the docs for table options --- ...p => Object relational mapping - Table options.php} | 2 +- manual/documentation2.php | 1 + manual/menu.php | 10 ++++++++++ 3 files changed, 12 insertions(+), 1 deletion(-) rename manual/docs/{Getting started - Setting table definition - Table options.php => Object relational mapping - Table options.php} (91%) diff --git a/manual/docs/Getting started - Setting table definition - Table options.php b/manual/docs/Object relational mapping - Table options.php similarity index 91% rename from manual/docs/Getting started - Setting table definition - Table options.php rename to manual/docs/Object relational mapping - Table options.php index 16635f74d..fe1d855f2 100644 --- a/manual/docs/Getting started - Setting table definition - Table options.php +++ b/manual/docs/Object relational mapping - Table options.php @@ -11,7 +11,7 @@ class MyInnoDbRecord extends Doctrine_Record { \$this->hasColumn('name', 'string'); - \$this->option('engine', 'INNODB'); + \$this->option('type', 'INNODB'); } } ?>"); diff --git a/manual/documentation2.php b/manual/documentation2.php index c998ea17a..863426410 100644 --- a/manual/documentation2.php +++ b/manual/documentation2.php @@ -85,6 +85,7 @@ class DocTool if (substr($c, 0, 5) == "') !== false || + strpos($c, '
') !== false || strpos($c, '