[03:34:45] <subbu>	 while instanceof has higher precedence than ! in php, is !($a instance of A) preferred over !$a instanceof A or is the latter commonly used that it doesn't seem confusing?
[03:39:16] <Krinkle>	 subbu: I've seen it both ways, but I think we usually omit the parenthesis. I'm generally a fan of extra parens for readability, but !+instanceof is one of those things I just got used to after a while.
[03:39:54] <subbu>	 ok. thanks.
[13:42:51] <wikibugs>	 10MediaWiki-Core-Team, 10DBA, 10MediaWiki-API, 10Pywikibot, and 3 others: allpages filterlanglinks DBQueryError - https://phabricator.wikimedia.org/T78276 (10Anomie)
[20:56:39] <Krinkle>	 duesen: can you re-review https://www.mediawiki.org/wiki/Support_policy_for_PHP and/or confirm that the talk page message was the only thing that stood out after review?