Sync docs from master to gh-pages

2019-08-14 09:14:59 +00:00
parent af7c88945a
commit 3f71d89704
76 changed files with 1202 additions and 1147 deletions
--- a/reference/html/advanced.html
+++ b/reference/html/advanced.html
@@ -780,6 +780,7 @@ public interface SingleTestGenerator {
     * or {@code .php}
     * @param properties - properties passed to the plugin
     */
+    @Deprecated
    String fileExtension(ContractVerifierConfigProperties properties);

    class GeneratedClassData {