commit | 66095bfd099517f8449bf38991d9b041ceccc7c1 | [log] [tgz] |
---|---|---|
author | David Iglesias <ditman@gmail.com> | Thu Apr 16 17:33:47 2020 -0700 |
committer | GitHub <noreply@github.com> | Thu Apr 16 17:33:47 2020 -0700 |
tree | 767a48ccd2fc9c8465b87c61c5a048b31c893a4e | |
parent | 608774119dd5c9d68f5237347c12669fa9110c2b [diff] |
[video_player_web] Add a custom analysis_options file to video_player_web. (#2658) flutter/plugins is currently red because inline analysis checks are no longer honored. `video_player_web` used a web-only API that was being flagged (correctly) by the analyzer, but suppressed inline via `// ignore` comments. Now that `// ignore` comments don't work, the tree has gone red. A proper fix for `video_player_web` will take longer than acceptable to unblock the flutter/plugins tree. This is a temporary mitigation so work can resume.
This repo is a companion repo to the main flutter repo. It contains the source code for Flutter first-party plugins (i.e., plugins developed by the core Flutter team). Check the packages
directory for all plugins.
Flutter plugins enable access to platform-specific APIs. For more information about plugins, and how to use them, see https://flutter.dev/platform-plugins/.
These plugins are also available on pub.
Please file any issues, bugs, or feature requests in the main flutter repo.
If you wish to contribute a new plugin to the Flutter ecosystem, please see the documentation for developing packages and platform channels. You can store your plugin source code in any GitHub repository (the present repo is only intended for plugins developed by the core Flutter team). Once your plugin is ready you can publish to the pub repository.
If you wish to contribute a change to any of the existing plugins in this repo, please review our contribution guide, and send a pull request.
These are the available plugins in this repository.