propertynames and hasproperty wrong for modules

[aplavin]

For modules, hasproperty and propertynames are inconsistent with getproperty. The latter returns expected results, so presumably the former are incorrect?
MWE:

julia> baremodule MyMod
       f(x) = x
       end

# MyMod clearly has the f property:
julia> getproperty(MyMod, :f)
f (generic function with 1 method)

# but nether propertynames nor hasproperty report it:
julia> propertynames(MyMod)
1-element Vector{Symbol}:
 :MyMod

julia> propertynames(MyMod, true)
1-element Vector{Symbol}:
 :MyMod

julia> hasproperty(MyMod, :f)
false

[KristofferC]

See #47150 and #46857

[aplavin]

Thanks, didn't notice them before! They don't mention propertynames, but otherwise directly relevant.

Seems like those issues didn't lead to a PR fixing the situation. Given the docs that say

The syntax a.b calls getproperty(a, :b)

and

  propertynames(x, private=false)

  Get a tuple or a vector of the properties (x.property) of an object x.

it seems clear that getproperty is in the right here – getproperty(MyMod, :f) is the same as MyMod.f as expected.
So, hasproperty and propertynames should be fixed to make them consistent. Doesn't seem difficult: they can use isdefined() and names().

Would that be a reasonable PR?