PHP7 type annotations

2017-09-19 18:55:43 +01:00
parent c7ca2f4154
commit 977c3db1e3
98 changed files with 624 additions and 1986 deletions
--- a/ext/autocomplete/main.php
+++ b/ext/autocomplete/main.php
@@ -6,7 +6,7 @@
 */

 class AutoComplete extends Extension {
-	public function get_priority() {return 30;} // before Home
+	public function get_priority(): int {return 30;} // before Home

 	public function onPageRequest(PageRequestEvent $event) {
 		global $page, $database;