Michael 95b4f35a12 Improved server detection / gsid introduced		2020-05-22 04:19:32 +00:00
..
Database.php	Merge pull request #8649 from annando/annando/issue8550	2020-05-17 09:11:30 -04:00
DBA.php	We already have got a function to check if a table exists	2020-05-15 18:32:53 +00:00
DBStructure.php	Ensure unified order of 'verb' records	2020-05-19 05:51:58 +00:00
PostUpdate.php	Improved server detection / gsid introduced	2020-05-22 04:19:32 +00:00
View.php	Renamed comment	2020-04-26 16:20:17 +00:00