On 06/25/2013 11:10 AM, Johannes Schlüter wrote:
That aside: resources is also the issue with the online editor. We have too few people working on docs, so in the end it doesn't make much difference if they don't have time to review edit.php.net or github. (while reviewing on edit.php.net has the benefit that it can directly validate the docbook, github can't)
i have to confess that i've only shown the documentation very minimal love in recent years (damn, YEARS! ... when i first started, or better was forced, to use and fix PHP this was supposed to be a 6 month job only ...) In the situations where i'd actually might have time and leisure to do so the web editor fails me though: * on the train or when otherwise mostly offline it doesn't work for obvious reasons * in front of the TV or when being stuck in hotel rooms the lack of screen real estate makes edit.php a not tooo plearurable experience it is usable on small screens somehow, but for a good experience you should have a large primary screen to run it on and a secondary for looking things up (dictionary/translator, source code, ...) (and yes, my multitasking capabilities are far from perfect, but they are for sure good enough for doing translations and watching TV at the same time for most of todays TV content) Doing things "the old way" on the other hand is severely blocked by me not wanting to touch SVN in any way anymore unless i'm payed for it (i'd even prefer doing CVS again instead of "too-little-too-late" SVN, but that's a different story ...)
johannes (who is one of the bad people not really actively helping with docs)
Is there an official community for that which i could join? ;) -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
