Fix live development: introduce new getFileExtension() which excludes the ".", deprecate getFilenameExtension()

Fixes bug #5365.

All core code is migrated over to the new API.  I'll file a follow-up bug to remove the deprecated one in the next sprint or two.  And I'll file bugs in the repos of the 2-3 extensions that are known to still use it.