Hannes Magnusson wrote: > On Tue, Mar 24, 2015 at 3:41 PM, Christoph Michael Becker <[email protected]> > wrote: > >> + <?=$HEAD_WIKI ?> > > That is a very specific name of that variable..
Indeed. Actually, I didn't like to introduce it at all, but I didn't find a better way without making the Wiki maintainance potentially harder. :( > How about $HEAD_PRE_LINKS and rename HEAD_RAND to $HEAD_POST_LINKS ? Fine with me. However, the renaming of $HEAD_RAND would have to be done in several repos, I suppose, and I'm not even sure, if these'll be synced simultaneously. -- Christoph M. Becker -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
