v7.14.0: Merge pull request #1023 from oat-sa/release-7.14.0

Release 7.14.0

v2.23.4

• fixed treebox widget options

v2.23.3

• fixed deletion of files in properties
• fixed php 7 on install

v7.11.0

version 7.11.0

v7.10.1: Merge pull request #997 from oat-sa/release-7.10.1

Release 7.10.1

v7.9.0

Merge branch 'release-7.9.0'

v7.4.10: Merge pull request #975 from oat-sa/release-7.4.10

Release 7.4.10

v2.23.2

fixes several issues in authoring of properties

Version 7.4.3

Merge pull request #961 from oat-sa/release-7.4.3

Release 7.4.3

v7.4.2: Merge pull request #959 from oat-sa/release-7.4.2

Release 7.4.2