Fix #108: PHP Error in UserDefinition #110

Closed gevorgmansuryan closed 1 year ago