From df0ad6e27745cd45df10b4ea3be94119865a7ecf Mon Sep 17 00:00:00 2001 From: slawkens Date: Tue, 9 Jun 2020 01:40:28 +0200 Subject: [PATCH] Change options.php to settings.php --- plugins/example-options-plugin/{options.php => settings.php} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename plugins/example-options-plugin/{options.php => settings.php} (100%) diff --git a/plugins/example-options-plugin/options.php b/plugins/example-options-plugin/settings.php similarity index 100% rename from plugins/example-options-plugin/options.php rename to plugins/example-options-plugin/settings.php