Python: Fix query names that inclde __ (dunder)

Without backticks, the text UNDERSCORE UNDERSCORE eq UNDERSCORE UNDERSCORE would
be considered to make things bold in our markdown output, making the query info
look strange.

Example https://codeql.github.com/codeql-query-help/python/py-slots-in-old-style-class/
This commit is contained in:
Rasmus Wriedt Larsen
2021-02-04 15:49:37 +01:00
parent 5db1984315
commit 3fe715abb6
24 changed files with 36 additions and 36 deletions

View File

@@ -1,6 +1,6 @@
/**
* @name Missing call to __del__ during object destruction
* @description An omitted call to a super-class __del__ method may lead to class instances not being cleaned up properly.
* @name Missing call to `__del__` during object destruction
* @description An omitted call to a super-class `__del__` method may lead to class instances not being cleaned up properly.
* @kind problem
* @tags efficiency
* correctness