[PATCH 2/4] SSO: Add an SSO option in the login page

[Frédéric Mangano-Tarumi]

We’ll probably change the whole login page in the future, but this makes
development easier.
---
 web/html/login.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/web/html/login.php b/web/html/login.php
index 01454414..3a146f60 100644
--- a/web/html/login.php
+++ b/web/html/login.php
@@ -40,6 +40,9 @@ html_header('AUR ' . __("Login"));
                        <p>
                                <input type="submit" class="button" 
value="<?php  print __("Login"); ?>" />
                                <a href="<?= get_uri('/passreset/') ?>">[<?= 
__('Forgot Password') ?>]</a>
+                               <?php if (config_get('sso', 
'openid_configuration')): ?>
+                               <a href="<?= get_uri('/sso/login') ?>">[<?= 
__('Login through SSO') ?>]</a>
+                               <?php endif; ?>
                                <?php if (in_request('referer') !== ""): ?>
                                <input id="id_referer" type="hidden" 
name="referer" value="<?= htmlspecialchars(in_request('referer'), ENT_QUOTES) 
?>" />
                                <?php elseif (isset($_SERVER['HTTP_REFERER'])): 
?>
-- 
2.27.0