Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient
authorFomafix <fomafix@googlemail.com>
Mon, 11 Jun 2018 17:23:15 +0000 (19:23 +0200)
committerFomafix <fomafix@googlemail.com>
Mon, 11 Jun 2018 17:23:15 +0000 (19:23 +0200)
commit3714131b5dc26794512b0e9f59999a9eeb9bf7e2
tree642bec92cdfc62b6a2c6620a0142ec94bc496314
parentef7ff1c26d03904a56def6341ed5ddb09c783707
Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient

This is a followup to 485f66f1.

Change-Id: I7a2a44b7e933103178929b3cdc015859612c8b35
includes/GlobalFunctions.php
includes/changetags/ChangeTags.php
includes/db/DatabaseOracle.php