Thread:Manual talk:Extension registration/Comments (keys starting with @ in extension.json) not ignored in "SpecialPages" array

Hello,

Special:Specialpages crashes (in SpecialPageFactory.php/getPage/"$page = new $className;") if there are comments (like "@doc": "Something") under "SpecialPages" array in extension.json. It seems keys starting with "@" are not as filtered as this page suggests...