Johannes Meyer f5089dab1a DbUserGroupBackend: Use is_numeric() instead of is_int() ... Using MySQL fetchColumn() returns integers for id fields, using MariaDB though, fetchColumn() returns strings.. fixes #9572		2015-07-07 14:07:55 +02:00
..
Icinga	DbUserGroupBackend: Use is_numeric() instead of is_int()	2015-07-07 14:07:55 +02:00
vendor	Remove executable flags from some PHP libraries	2015-02-03 10:50:50 +01:00