Change options.php to settings.php

This commit is contained in:
slawkens 2020-06-09 01:40:28 +02:00
parent fa0de1c413
commit df0ad6e277