Tools for ILIAS Developent. Current focus on PHP7 Compatibility

Please checkout as "tools" in Customizing/global:

cd Customizing/global/
git checkout https://github.com/ILIAS-eLearning/DeveloperTools.git tools

• Use Developer-specific branches like "dev_nameofdeveloper"
• New developments/tools can be pushed to master directly
• Pleas emake Pull-Requests for changes

• use a subdirectory for each tool
• name the directories after what they do/help