From 10fa8a05a0b0b85cad67ccfd88354aac9e420a4b Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Tue, 19 Jul 2016 16:41:47 +0200
Subject: [PATCH] Use the themed radio buttons for cron selection

---
 settings/templates/admin.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/settings/templates/admin.php b/settings/templates/admin.php
index e5b09089449..1830e542bbc 100644
--- a/settings/templates/admin.php
+++ b/settings/templates/admin.php
@@ -310,7 +310,7 @@ if ($_['cronErrors']) {
 		href="<?php p(link_to_docs('admin-background-jobs')); ?>"></a>
 
 	<p>
-				<input type="radio" name="mode" value="ajax"
+				<input type="radio" name="mode" value="ajax" class="radio"
 					   id="backgroundjobs_ajax" <?php if ($_['backgroundjobs_mode'] === "ajax") {
 					print_unescaped('checked="checked"');
 				} ?>>
@@ -318,7 +318,7 @@ if ($_['cronErrors']) {
 				<em><?php p($l->t("Execute one task with each page loaded")); ?></em>
 	</p>
 	<p>
-				<input type="radio" name="mode" value="webcron"
+				<input type="radio" name="mode" value="webcron" class="radio"
 					   id="backgroundjobs_webcron" <?php if ($_['backgroundjobs_mode'] === "webcron") {
 					print_unescaped('checked="checked"');
 				} ?>>
@@ -326,7 +326,7 @@ if ($_['cronErrors']) {
 				<em><?php p($l->t("cron.php is registered at a webcron service to call cron.php every 15 minutes over http.")); ?></em>
 	</p>
 	<p>
-				<input type="radio" name="mode" value="cron"
+				<input type="radio" name="mode" value="cron" class="radio"
 					   id="backgroundjobs_cron" <?php if ($_['backgroundjobs_mode'] === "cron") {
 					print_unescaped('checked="checked"');
 				} ?>>
-- 
GitLab