[14:22:08] <Krinkle>	 TimStarling: duesen: Could use a second opinion regarding whether it's likely file titles will remain 'local' as far as ProperPageIdentify's wiki ID concept goes. question at https://gerrit.wikimedia.org/r/c/mediawiki/core/+/842343/comment/4e13749f_c89d7ae3 
[17:46:17] <duesen>	 @Krinkle they are likely to become cross-wiki, and not likely to become interwiki. So calling getId() is good, callinggetArticleId() is bad.
[17:46:26] <duesen>	 At least that's my take
[17:47:37] <Krinkle>	 ack