php7.1 all the things

2019-05-28 17:31:20 +01:00
parent 189385ff61
commit 5ec3e89884
108 changed files with 400 additions and 1797 deletions
--- a/ext/upgrade/main.php
+++ b/ext/upgrade/main.php
@@ -129,9 +129,6 @@ class Upgrade extends Extension {
 		}
 	}

-	/**
-	 * @return int
-	 */
 	public function get_priority(): int {return 5;}
 }