Merge "Using "Page" for type hinting is really useless"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Feb 2013 15:54:35 +0000 (15:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Feb 2013 15:54:35 +0000 (15:54 +0000)
commit69be157fa1707e0f5d5adc4b24196ce338e6ec1d
treed37ee58cba6a64fea8750ce30f3c570b3f2b4ad2
parent4feea6a4ec1fe0a1f7a2518d89c293fdb2df5f22
parentcf4262caa7dd3f6ed8d4c5e574c5fdfe32867b19
Merge "Using "Page" for type hinting is really useless"