This repository has been archived on 2024-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

M. Dent 1922a2139d Revert "Merge branch 'dev' into 'dev'" ...

This reverts merge request !1310

2018-10-05 19:30:49 +02:00

..

Hook.php

Revert "Merge branch 'dev' into 'dev'"

2018-10-05 19:30:49 +02:00

Route.php

…

Widget.php

…