user() is missing or unproperly removed
@sgougeon)
Reported by Samuel GOUGEON (BUG DESCRIPTION:
----------------
user() is no longer available:
--> user
Undefined variable: user
But its documentation -- badly located in "Development tools" instead of "Dynamic/incremental Link" -- is still available:
https://help.scilab.org/docs/6.0.0/en_US/user.html
It is also still declared in core_gateway.xml:
<PRIMITIVE gatewayId="14" primitiveId="1" primitiveName="user" />
But it is missing in scilab_primitives.txt.