j
k
j a
j l
My choice would be to map them to PHP native type names.
Back to the thread
Back to the list