Merge pull request #13041 from berak:docs_highgui