# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1558436436 -10800
# Node ID 290a42c52e35ab838c429295d95d9fd4362ca1b2
# Parent  878d2a772fd6b4d0c03826acdc62915fdea25d72
Use instanceOf instead of is_object().

diff -r 878d2a772fd6 -r 290a42c52e35 mgallery.php
--- a/mgallery.php	Mon May 20 15:11:08 2019 +0300
+++ b/mgallery.php	Tue May 21 14:00:36 2019 +0300
@@ -353,7 +353,7 @@
   global $pageLang, $pageCharset;
   $pageLocale = strtolower($pageLang)."_".strtoupper($pageLang).".".$pageCharset;
   setlocale(LC_TIME, $pageLocale);
-  return strftime("%d %b %Y (%H:%M:%S)", is_object($stamp) ? $stamp->getTimestamp() : $stamp);
+  return strftime("%d %b %Y (%H:%M:%S)", ($stamp instanceOf DateTime) ? $stamp->getTimestamp() : $stamp);
 }