[TYPO3-core] RFC #14217: Bug: options.pageTree.showPageIdWithTitle doesn't work in record picker

[Benjamin Mack]

Hey,

committed v2 to trunk (rev. 7545)
committed v2 to TYPO3_4-3 (rev. 7546)

@Reinhard: Thanks for the fix. A classic "last 20%" bug :)

All the best,
Benni.