strict";a.formUtils.registerLoadedModule("lang/nl"),a(b).bind("validatorsLoaded",function(){a.formUtils.LANG={andSpaces:" en spaties ",badAlphaNumeric:"De ingevoerde waarde mag alleen alfabetische karakters bevatten",badAlphaNumericExtra:" en ",badCVV:"Het CVV nummer was onjuist",badCreditCard:"Het creditcardnummer is onjuist",badCustomVal:"De ingevoerde waarde is onjuist",badDate:"U heeft niet de juiste datum aangegeven",badDomain:"Incorrect domein",badEmail:"U heeft een onjuist e-mailadres ingevoerd ",badInt:"De...

        \"body\": \"$PR_TITLE\",
        \"head\": \"$BRANCH_NAME\",
        \"base\": \"$DEFAULT_BRANCH\"
    }")

    echo "PR_RESPONSE: $PR_RESPONSE"

    PR_NUMBER=$(echo "$PR_RESPONSE" | jq -r '.number' 2>/dev/null)
    
    post "/issues/$PR_NUMBER/comments" '{
        "body": "@bot-gradle test and merge"
    }'

    post "/issues/$PR_NUMBER/labels" '{
        "labels": ["@dev-productivity"]
    }'
}

    }

    private
    fun VersionNumber.format() =
        // reformat according to our versioning scheme, since toString() would typically convert 1.0 to 1.0.0
        // starting with Gradle 9.0, the version number is always 3 digits (SemVer)
        GradleVersion.version("$major.${minor}${if (micro > 0 || major >= 9) ".$micro" else ""}${if (qualifier != null) "-$qualifier" else ""}")

        if (logger.isDebugEnabled()) {
            logger.debug("Updated favorite count: count={}, url={}", count, url);
        }
    }

    /**
     * Returns the total number of documents processed.
     *
     * @return the number of documents processed
     */
    @Override
    public long getDocumentSize() {
        return documentSize.get();
    }

    /**

labels.user_surname=Nom de famille
labels.surame=Nom de famille
labels.user_mail=E-mail
labels.mail=E-mail
labels.user_employeeNumber=Numéro d'employé
labels.employeeNumber=Numéro d'employé
labels.user_telephoneNumber=Numéro de téléphone
labels.telephoneNumber=Numéro de téléphone
labels.user_homePhone=Téléphone personnel
labels.homePhone=Téléphone personnel
labels.user_homePostalAddress=Adresse postale personnelle

    // for error page

    /**
     * Query string parameter for error page fallback.
     * Contains the original search query if redirection fails.
     */
    public String q;

    /**
     * Number of results parameter for error page fallback.
     * Specifies how many results to display if redirection fails.
     */
    public String num;

    /**
     * Sort parameter for error page fallback.

    /**
     * Lists objects in storage with the given prefix.
     *
     * @param prefix the path prefix to list objects under (null or empty for root)
     * @param maxItems maximum number of items to return
     * @return list of storage items
     */
    List<StorageItem> listObjects(String prefix, int maxItems);

    /**
     * Gets tags/metadata for an object.
     *

                                    <div class="form-inline col-sm-9">
                                        <la:errors property="depth"/>
                                        <input type="number" name="depth" id="depth"
                                               value="${f:h(depth)}" class="form-control"
                                               min="0" max="10000">
                                    </div>

            buf.append(json);
            buf.append('}');
        } else if (value instanceof Long || value instanceof Integer) {
            buf.append(((Number) value).longValue());
        } else if (value instanceof Number) {
            buf.append(((Number) value).doubleValue());
        } else {
            buf.append('"').append(StringEscapeUtils.escapeJson(value.toString())).append('"');
        }
        return buf;

labels.givenName=Given Name
labels.user_surname=Surname
labels.surame=Surname
labels.user_mail=Mail
labels.mail=Mail
labels.user_employeeNumber=Employee Number
labels.employeeNumber=Employee Number
labels.user_telephoneNumber=Telephone Number
labels.telephoneNumber=Telephone Number
labels.user_homePhone=Home Phone
labels.homePhone=Home Phone
labels.user_homePostalAddress=Home Postal Address
labels.homePostalAddress=Home Postal Address