> > My personal opinion: I think it's great to have these zend docs > > available at phpdoc. Since the manual is at first glance a manual for > > users, and already very large (and will grow in future) I hope this > > will _NOT_ become a part of the manual. Providing it as seperate > > "developer manual" would be a better idea IMHO. > > But I am also no "old pro" and nothing to decide. > > having the manual as it is now as the user-manual and the zend api docs > as a start for a developer-manual that reference each other is a good > thing [tm] imho. the user-manual may have an appendix "extending PHP" > which contains a pointer to the developer-manual
+1 for having a users manual, and a developers manual separately :) +1 for having a complete user manual, and a shortened user manual downloadable :) As for translation, the users manual is the most important part. Developers often know english much better than users, so they would be happy with an up to date english developers manual IMHO. So the separation not just helps users but also translators to ditinquish what is the most important to translate. Extending PHP 3 can also be moved to the developers manual. Goba
