avoid warnings when web scraping malformed HTML
add ExnetionInterface::getRuntimeName + update all extension meta implementations
add better check for Extension::isLoaded taking	xml meta <provides-extension> tag into consideration
remove Extension::$name as it should belong to ExtensionMeta implementations only
avoid `ext enable` with extensions already loaded at php startup (no more terminal spoil)
move `ext disable` back to pure php (bash subset is now branched)
PSR fix