diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-12 15:15:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-12 15:15:39 +0200 |
| commit | 2a4cd769a1d861ad3d5414e563b899ba207fbd0f (patch) | |
| tree | 7a42a60b567550b2c0e252addfee8c0a8f75ad2d /modules/regex/doc_classes | |
| parent | 64595f0f6ad2aab38fb14f85c077c6e147326624 (diff) | |
| parent | d29ea4337fd165423b3b8ae0e88b18ce89f6dd9a (diff) | |
Merge pull request #20940 from akien-mga/resourceloader-exists
Fix ResourceLoader::exists() false negative and readd deprecated has()
Diffstat (limited to 'modules/regex/doc_classes')
0 files changed, 0 insertions, 0 deletions