Skip to content

Remove deplicated dollar sign in attribute names#18

Open
n-peugnet wants to merge 1 commit intoavalanche123:masterfrom
club-1:n-peugnet-attribute-doubled-dollar
Open

Remove deplicated dollar sign in attribute names#18
n-peugnet wants to merge 1 commit intoavalanche123:masterfrom
club-1:n-peugnet-attribute-doubled-dollar

Conversation

@n-peugnet
Copy link

@n-peugnet n-peugnet commented Apr 4, 2023

sphinxcontrib-phpdomain does not expect the $ sign of an attribute to be there. This resulted in duplicated $ sign in the attribute reference https://pythonhosted.org/sphinxcontrib-phpdomain/reference.html#role-php:attr.

Before:

2023-04-04-143550_543x334_scrot

After:

2023-04-04-143814_543x334_scrot

sphinxcontrib-phpdomain does not expect the $ sign of an attribute to be there.
This resulted in duplicated $ sign in the attribute reference
<https://pythonhosted.org/sphinxcontrib-phpdomain/reference.html#role-php:attr>.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant