Hannes Magnusson wrote: > On Tue, Mar 17, 2015 at 9:09 AM, Christoph Becker <[email protected]> wrote: > >> I'll see if I'll be able to submit a pull request later. I have some >> trouble getting the folder layout right for web-wiki and web-shared; for >> now I've quickly moved parts of the clones, so that it works. > > You should be able to fetch it via rsync, or alternatively do what the > rsync box does: > http://git.php.net/?p=systems.git;a=blob;f=update-mirrors;h=001c2139ee68010a5008d0487fd00f5139fc36d9;hb=HEAD#l21
Thanks, that was helpful. > Nice catch! > You mind sending a PR? Just done. Actually, it are two pull requests, as wiki.css is part of web-shared: <https://github.com/php/web-wiki/pull/4> <https://github.com/php/web-shared/pull/4> > And, in fact, if you want to maintain the wiki stuff... Fill out and > submit http://php.net/git-php.php Done. As I understand it, sending an email to internals@ is not necessary in this case. > I really do not want to maintain the wiki :) > It desperately needs help. We have plenty of inline changes that > shouldbe made into plugins, which makes upgrade a hellish task. > There are also plenty of cute little bugs, like missing images in the > admin interface.. Likely as a result of the theme customization which > is a bigass hack. I don't know if I could be of much help, as my experience with DokuWiki is very limited, but I'd do my best. -- Christoph M. Becker -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
