* Use label instead of h3 for menu headings
* Rename portals to portlets according to core
* Replace label-class with heading-class
* Use has-label to hide labels instead of adding screen reader class
* Use template data for page tools if available
* ci: lint code to MediaWiki standards
Check commit and GitHub actions for more details
* emptyPortlet class is added by the core
* ci: lint code to MediaWiki standards
Check commit and GitHub actions for more details
* Update PageTools.php
* Set toolbox to always valid data
Co-authored-by: github-actions <github-actions@users.noreply.github.com>