Use isset() to avoid an E_NOTICE about an undefined index
authorJack Phoenix <ashley@uncyclomedia.co>
Fri, 29 Mar 2019 17:49:36 +0000 (19:49 +0200)
committerJack Phoenix <ashley@uncyclomedia.co>
Fri, 29 Mar 2019 17:49:36 +0000 (19:49 +0200)
commitc7c2637bbd3aa296e52171dd09c8effe2b9b28cd
treed9a0d5c11a6fd257492cdc809491beb04de98295
parent962eec295d7d35e2e169873c0cdf88941d7ef62c
Use isset() to avoid an E_NOTICE about an undefined index

Change-Id: Ida990c474a7e4269dc2df989232eea5cb7b83345
includes/media/GIFHandler.php