Migrate website from PHP to plain HTML enhanced with JavaScript#3554

HannesWell merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.releng.aggregator:masterfrom

HannesWell:migrate-drop-page-off-phpHannesWell/eclipse.platform.releng.aggregator:migrate-drop-page-off-phpCopy head branch name to clipboard