Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauriciofauth@gmail.com>2017-12-04 18:31:25 +0300
committerMaurício Meneghini Fauth <mauriciofauth@gmail.com>2017-12-04 18:31:25 +0300
commit01fd3010030f58c5489c18a40f91362d099987fd (patch)
treef3f66a17571bec6e431d7aa50704125485d237ee /examples
parent3d44419cbd941e122d9faeabe68445e5ecc2c615 (diff)
Use 'elseif' keyword istead of 'else if'
Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'examples')
-rw-r--r--examples/openid.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/openid.php b/examples/openid.php
index 35804e5661..e44baef620 100644
--- a/examples/openid.php
+++ b/examples/openid.php
@@ -120,7 +120,7 @@ OpenID: <input type="text" name="identifier" /><br />
/* Grab identifier */
if (isset($_POST['identifier']) && is_string($_POST['identifier'])) {
$identifier = $_POST['identifier'];
-} else if (isset($_SESSION['identifier']) && is_string($_SESSION['identifier'])) {
+} elseif (isset($_SESSION['identifier']) && is_string($_SESSION['identifier'])) {
$identifier = $_SESSION['identifier'];
} else {
$identifier = null;