HR MUST know!! They must know for leavers who don't complete a full year or do they say okay, take all your leave that's fine by us even if you've only worked for two days of the leave year.
You can do it quite a few ways
you can divide 25 by 365 then multiply by the number of days the person will work (13/7-31/12)
you can take the bank holidays out of the year (off the 365) and any she will get during that part year then do the same divide and multiply thing.
You can divide 25 days by 52 (weeks) then multiply by the number of weeks in the part period
you can say "its 5.5 months give or take so call it 12 days.
Do you see what i mean? all or any of these ways would be acceptable depending on what the firm's policy is.
MY DH worked on the key dates method. If he got to 31st of aug (his leave year was jan to dec, mine was april to march) then he was entitled to all his paid leave for the year even if he left on sept 1st.
To add to the confusion, if your friend? colleague workd differing length days then you can do what the NHS do and calculate in hours worked...same sums just in hours not days.
sorry, i know this isn't really helpful is it?