[move_to_portal] Move portal files from root folder to portal folder

portal/ext.php

@@ -0,0 +1,11 @@
+<?php
+
+// this file is not really needed, when empty it can be ommitted
+// however you can override the default methods and add custom
+// installation logic
+
+namespace board3\portal;
+
+class ext extends \phpbb\extension\base
+{
+}