94e35510ae
- Move doc comments inside of declare_deprecated_lint macros so that they are picked up by lintlib.py
- Move doc comments inside of declare_deprecated_lint macros so that they are picked up by lintlib.py