[13:13:16] [02mediawiki] 07Zippybonzo opened pull request 03#37: Update LocalSettings.php - 13https://github.com/Test-Wiki/mediawiki/pull/37 [13:31:47] [02mediawiki] 07Zippybonzo synchronize pull request 03#37: Update LocalSettings.php - 13https://github.com/Test-Wiki/mediawiki/pull/37