Fix #1127 : Update permalinks API to expose a file extension