Re: Linking to wiki page from OE

From: Date: Tue, 22 Jul 2014 16:37:17 +0000
Subject: Re: Linking to wiki page from OE
References: 1 2 3 4 5 6  Groups: php.doc 
Request: Send a blank email to phpdoc+get-969385075@lists.php.net to get a copy of this message
Done ! http://git.php.net/?p=web/doc-editor.git;a=commitdiff;h=e2714634978e725e17c69958de469756e6d4da7c ;) 2014-07-22 18:30 GMT+02:00 Chris Wright <daverandom@php.net>: > On 22 July 2014 17:27, Yannick Torrès <yannick.torres@gmail.com> wrote: > > And in the About window : > > > > http://git.php.net/?p=web/doc-editor.git;a=commitdiff;h=1649fc02db72cf0b60f9ff9115ec596c252e2dfe > > > > > > 2014-07-22 18:18 GMT+02:00 Yannick Torrès <yannick.torres@gmail.com>: > > > >> From the login screen : > >> > > http://git.php.net/?p=web/doc-editor.git;a=commitdiff;h=8d8977e903501d68f22376a8e114e8a74ca2c93c > > Awesome, thanks :-) > > >> There is already a link to the documentation into the main menu, > >> "Documentation". Do you think we must rename it ? > > Oh yes, I missed that. Intuitively when looking for documentation I > would look for an item called "Help" because this is what it tends to > be called in desktop apps, so it may be worth renaming it to this, but > I suppose this is an issue that may warrant a little more > discussion/opinion from others. >

« previous php.doc (#969385075) next »