Convert in-place public attributes to nested submodule of related repository#1722

isfedorov wants to merge 4 commits intoJetBrains:masterJetBrains/phpstorm-stubs:masterfrom

isfedorov:attributes_submoduleisfedorov/phpstorm-stubs:attributes_submoduleCopy head branch name to clipboard