[dokuwiki-teams] Re: Page tools broken on dokuwiki.org
- From: Anika Henke <anika@xxxxxxxxxxxxxxx>
- To: dokuwiki-teams@xxxxxxxxxxxxx
- Date: Wed, 17 Jun 2015 10:40:22 +0100
On Tue, 16 Jun 2015, at 11:28 PM, Frank Jørgensen wrote:
The question now is: Should I do the same on dib (I'd rather not - it's a
maintenance nightmare), or can we work around it? Suggestions anyone? Do we
know if it actually did work on Wheezy? If so, perhaps we should submit a bug
report to Debian.
We don't need this to work on any server at all! pagetools-build.php is
only a helper tool if anyone wants to easily add new icons or change
existing ones or change colours for a different template. So, it's only
meant to be used by template authors on their local machines and never
on any server. So, no need to "fix" anything. (If you found a related
bug, please feel free to report back to those tools anything you found,
but it's okay that the pagetools-build.php is not necessarily working in
all environments.)
Other related posts:
