From 313bdee0ac45e9ba242ac85632df2ecb089a6e6f Mon Sep 17 00:00:00 2001 From: Matthias Kretschmann Date: Tue, 6 Aug 2013 20:54:04 +0200 Subject: [PATCH] add new options in UI --- badged-settings.php | 17 ++++++++++++++++- badged.php | 3 +++ 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/badged-settings.php b/badged-settings.php index 9f148e0..cbbef9b 100644 --- a/badged-settings.php +++ b/badged-settings.php @@ -16,6 +16,21 @@ + + + + + +
+ /> + +
+ /> + +
+ + + @@ -29,7 +44,7 @@ - + diff --git a/badged.php b/badged.php index b9e297b..de498ce 100644 --- a/badged.php +++ b/badged.php @@ -80,6 +80,8 @@ function badged_settings() { function badged_register_settings() { register_setting('badged', 'menu'); register_setting('badged', 'bar'); + register_setting('badged', 'ios6'); + register_setting('badged', 'ios7'); } function badged_settings_page() { @@ -95,6 +97,7 @@ function badged_activation() { badged_register_settings(); update_option('menu', 'yes'); update_option('bar', 'yes'); + update_option('ios6', 'yes'); } if ( is_admin() ) {