Added php-record-assignable-interface library