[20:27:19] Hello! I'm looking for a PHP function in mediawiki to redirect the user to another page on submitting a form. I've been looking but can't seem to find such a function. [20:29:03] OutputPage::redirect() [20:30:34] thanks! [20:33:08] Anyone know why I might be getting this error: Fatal error: Uncaught Exception: DateTimeZone::__construct(): Unknown or bad timezone () in /var/www/html/w/includes/MainConfigSchema.php:4899 [20:33:14] On a local instance [20:33:48] On all pages, even with emptying LocalSettings.php of all wfLoadExtensions [20:34:03] i would guess your $wgLocaltimezone is set to some invalid value [20:34:10] or it's not set, and autodetection is somehow failing [20:34:31] MatmaRex: dejavu [20:34:45] Reedy: it seems like a different error than yours though :D [20:34:49] heh [20:34:52] "TZ suck" [20:34:53] Looking at LocalSettings.php it's set as the empty string [20:35:12] But that's from the autogenerated part [20:35:34] Only had a problem once I git pulled [20:36:06] I'll try setting it to something [20:36:25] possibly caused by https://gerrit.wikimedia.org/r/c/mediawiki/core/+/785387 ? [20:36:47] try setting it to null instead of empty string, if you want the autodetection [20:37:32] I suspect this may break a lot of installs [20:37:47] As this was a autogenerated config var when setting up the wiki [20:38:45] Setting it to null fixed the issue [22:49:07] Guest38 00:48:15 [22:49:07] Hi, when using the MediaWikiServices DB access, should I manually check if the input is safe? or is this done by mediawiki