Roland Häder 33768ea1c6 Some fixes: ... - $gsid's default value cannot sadly be 0, it now must be null to allow some code work - added some more type-hints - documented a bit more		2022-06-17 17:18:31 +02:00
..
Database.php	Added more type-hints	2022-06-17 17:18:31 +02:00
DatabaseException.php	Add missing copyright text	2022-01-02 10:49:50 +01:00
DBA.php	Some fixes:	2022-06-17 17:18:31 +02:00
DBStructure.php	Merge pull request #11129 from urbalazs/copyright-2022	2022-01-02 09:45:35 +01:00
PostUpdate.php	Shorter code, thanks to @annando pointing this out	2022-06-16 13:29:30 +02:00
View.php	Update copyright	2022-01-02 08:27:47 +01:00