Merge pull request #55872 from aanderse/kdevelop-php
kdevelop: added ability to include kdevelop plugins, kdev-php: init at 5.3.1, kdev-python: init at 5.3.1
authored by Franz Pletz and committed by GitHub 7 years ago 160abfe3 e0a92755