board3/Board3-Portal — pull request #209 by marc1706 (2014-02-03 23:37:04+00:00)
Title: [ticket/208] Move includes files out of portal folder

The includes files are currently inside portal/includes/. As there is no need for this structure in an extension, just move these files to the includes folder.